From c6f5f3a1248edd472bbeca6e153c4e137e9f76e5 Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Thu, 21 May 2015 12:53:54 -0400 Subject: css: optimize use of screen space (millionth time) --- (limited to 'site') 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; } -- cgit v0.9.1