diff options
| -rw-r--r-- | site/css/main.css | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/site/css/main.css b/site/css/main.css index 77fe08c..92b1ab2 100644 --- a/site/css/main.css +++ b/site/css/main.css @@ -8,7 +8,7 @@ body { margin:0px; } div.contain { - max-width:58em; + max-width:57em; margin:0 auto; } div.section { @@ -65,8 +65,8 @@ div.important, pre, div.subsection { } .ulnav { padding:0em; - margin-top:0.5em; - margin-bottom:0.5em; + margin-top:0em; + margin-bottom:0.3em; } .ulnav li { display:inline-block; @@ -80,11 +80,10 @@ div.important, pre, div.subsection { padding:0px; margin:0px; margin-left:1em; - margin-right:1em; border:none; border-radius:0.5em; box-shadow:none; - height:7.5em; + height:7em; width:auto; float:right; } |