diff options
-rw-r--r-- | main.css | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -8,15 +8,19 @@ body { } h1 { font-size: 24pt; + margin: 16px 0px 16px 0px; } h2 { font-size: 20pt; + margin: 16px 0px 16px 0px; } h3 { font-size: 16pt; + margin: 16px 0px 16px 0px; } p { font-size: 12pt; + margin: 16px 0px 16px 0px; } a { color: #3333BB; @@ -39,6 +43,7 @@ div.header a.skip { } div.header h1 { font-family: serif; + margin: 0px 0px 0px 0px; } div.header h1 span.super { vertical-align: 33%; @@ -48,6 +53,7 @@ div.header p { font-style: italic; text-align: right; font-size: 12pt; + margin: 0px 0px 0px 0px; } div.menu { @@ -84,9 +90,6 @@ div.body { margin: 24px 64px 8px 64px; font-family: serif; } -div.body p { - margin: 16px 0px 16px 0px; -} div.footer { margin: 32px 8px 8px 8px; @@ -94,8 +97,8 @@ div.footer { font-family: sans-serif; border-top: 1px solid #666666; } -div.footer p.copyright, div.footer p.license, div.footer p.tos, div.footer p.standards { - margin-bottom: 16px; +div.footer p.dates { + margin-bottom: 0px; } div.footer p.license img { float: left; |