diff options
Diffstat (limited to 'css')
| -rw-r--r-- | css/site.css | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/css/site.css b/css/site.css index 0e6060b..e970bd5 100644 --- a/css/site.css +++ b/css/site.css @@ -216,6 +216,21 @@ div.body-contents pre { border: 1px solid #aaa; } +div.body-contents pre.src { + background-color: #3c3836; + color: #ebdbb2; + border-radius: 4px; + display: block; + margin: 0; + width: 80%; + overflow: auto; + margin-left: 1em; + margin-right: 1em; + padding: 10px 10px 10px 10px; + white-space: pre; + border: 1px solid #1d2021; +} + span.fa { font-size: 16px; } |