diff options
Diffstat (limited to 'web/css.css')
-rw-r--r-- | web/css.css | 34 |
1 files changed, 30 insertions, 4 deletions
diff --git a/web/css.css b/web/css.css index 7418f766d..6c068b6bd 100644 --- a/web/css.css +++ b/web/css.css @@ -1,16 +1,44 @@ + +/* Generics */ + body { font-family: "Gill Sans", "Gill Sans MT", Helvetica, Arial, sans-serif; } + h1 { border-bottom: solid 1px #999999; - margin: 0; + margin: 0 0 1em 0; } +.v { display: none; } + #error { color: #cc0000; font-size: larger; } +/* Site-wide layout */ + +#container { + margin-left: -12em; + width: 100%; + float: right; +} +#content { + margin-left: 12em; +} +#content > *:first-child { + margin-top: 0; +} +#navigation { + width: 8em; + float: left; + padding: 0 2em 0 0; + margin: 0 0 1em 2em; +} + +/* Individual pages */ + #map { border: solid 1px #000000; width: 500px; @@ -35,9 +63,7 @@ h1 { padding: 3px; font-size: 83%; } -#wrap { -} -#column { +#compass { float: left; } #compass img { |