diff options
Diffstat (limited to 'css')
| -rw-r--r-- | css/main.less | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/css/main.less b/css/main.less index 4a5019c..2c3d1ed 100644 --- a/css/main.less +++ b/css/main.less @@ -11,7 +11,6 @@ html { } body { - font-family: Times; color: @bodyTextColor; font-size: 16px; line-height: 1.4; @@ -32,7 +31,7 @@ table { width: 100%; } -figure.highlight { +figure.highlight, pre.highlight { border: 2px solid @blockBorderColor; background-color: @blockBackgroundColor; @@ -55,7 +54,7 @@ code { div.container { max-width: @mainWidth; margin: 0 auto 0.5em auto; - padding-top: 1em; + padding: 1em 2em 0 2em; } span.citneed{ |