/* home page styles and layout */
div.logo {text-align: center; background-color: #eee; margin-top: 0.5em}
div.logo img {margin-top: 0.3em}
div.top {background-color: #eee; text-align: center; margin-top: 0.5em}
div.fill {margin-top: 0.5em; margin-bottom: 0; padding: 0}
div.body {display: block}
div.left {float: left; margin-top: 0; margin-right: 1.5em; max-width: 20%}
div.navbar {background-color: #ffe; margin-top: 0; padding: 0.5em}
div.right {float: right; margin-top: 0; margin-left: 1.5em; margin-right: 0; max-width: 20%}
div.extra {border: thin solid black; background-color: white; margin-bottom: 0.5em; padding: 0.5em}
div.fill+div.extra {margin-top: 0}
div.extra *:first-child {margin-top: 0}
div.bottom {clear: both}
div.top h1, div.fill h1 {margin-top: 0}
div.navbar h2, div.extra h2, div.navbar h3, div.extra h3 {margin-bottom: 0}
div.navbar ul, div.extra ul {margin-top: 0}
p.version {text-align: center}

/* general */
h2, h3 {margin-bottom: 0}
h2+p, h3+p {margin-top: 0.5em}

/* from GNU style.css */
html { background-color: #e7e7e7; }
body {
   max-width: 75em;
   margin: 0 auto;
   padding: .5em 1em 1em 1em; 
   background-color: white;
   border: .1em solid #c0c0c0;
}
pre {
   padding: .8em 1.2em;
   margin: 1em 0 1em 3% ;
   -webkit-border-radius: .3em;
   -moz-border-radius: .3em;
   border-radius: .3em;
   border: 1px solid #d4cbb6;
   background-color: #f2efe4;
}