diff options
| -rw-r--r-- | static/style/default.css | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/static/style/default.css b/static/style/default.css index 3c0ba5b..92d6c21 100644 --- a/static/style/default.css +++ b/static/style/default.css @@ -1,7 +1,7 @@ body { font-family: "Lucida Grande","Lucida Sans Unicode","Lucida Sans",Tahoma,sans-serif; font-size: 1em; - line-height: 1.25; + line-height: 1.3; background-color: #E3E3E3; } a { text-decoration: none; } @@ -168,13 +168,21 @@ pre.terminal { background-color: #FFFFFF; margin-left: 4%; width: 756px; - margin-top: 0px; - margin-bottom: 0px; + margin-top: 0; + margin-bottom: 0; padding-left: 24px; padding-right: 24px; - padding-bottom: 12px; } + padding-bottom: 1em; +} +.content p,h2,h3,h4 { + margin-left: 0.5em; + margin-right: 0.5em; +} .content img { - border: 1px solid black; } + border: 1px solid black; + margin-top: 1em; + margin-bottom: 1em; +} .content_footer { /*font-style: italic;*/ color: #666666; |