diff options
Diffstat (limited to 'static')
-rw-r--r-- | static/main.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/static/main.css b/static/main.css index 8a7f2b5..1cc8951 100644 --- a/static/main.css +++ b/static/main.css @@ -18,6 +18,10 @@ body { font-family: "DejaVu Sans", sans-serif; } +pre { + margin: 20px 0; +} + .clear { clear: both; } |