From 66c4cb63fa5155e878a6796d17b14010d6f9968c Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Thu, 21 May 2015 13:42:14 -0400 Subject: Revert "css: optimize use of screen space (millionth time)" This reverts commit c6f5f3a1248edd472bbeca6e153c4e137e9f76e5. --- (limited to 'site') 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; } -- cgit v0.9.1