diff options
-rw-r--r-- | www/global.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/www/global.css b/www/global.css index b325ef31..80309059 100644 --- a/www/global.css +++ b/www/global.css @@ -17,6 +17,10 @@ body { color: #222; } +pre { + margin-left: 2.5em +} + #logo { width: 20%; float: right; |