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