diff options
| -rw-r--r-- | www/global.css | 11 | ||||
| -rw-r--r-- | www/template.html | 1 |
2 files changed, 10 insertions, 2 deletions
diff --git a/www/global.css b/www/global.css index 35df49d6..87df287d 100644 --- a/www/global.css +++ b/www/global.css @@ -18,7 +18,16 @@ body { } pre { - margin-left: 2.5em + padding: 0.3em; +} + +pre,table { + overflow-x: auto; + display: block; +} + +code, pre { + background-color: #DDD; } img { diff --git a/www/template.html b/www/template.html index 4ce72774..c2bdcda0 100644 --- a/www/template.html +++ b/www/template.html @@ -14,7 +14,6 @@ $if(keywords)$ <meta name="keywords" content="$for(keywords)$$keywords$$sep$, $endfor$"> $endif$ <title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title> - <style type="text/css">code{white-space: pre;}</style> $if(quotes)$ <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style> $endif$ |