/* reset */
header, nav, article, footer, body, html, pre code {
  display:block; margin:0; background-color:rgb(216, 216, 216); color:rgb(41, 41, 41); }

/* round corners, margins */
html { margin:1.5em }
header, nav, footer { border : thin solid black;
                      border-radius        : 1.5em;
                      -moz-border-radius   : 1.5em;
                      -webkit-border-radius: 1.5em;
                      margin: 1.5em; padding: 1em; }
article             { margin: 1.5em; padding: 1em; }
pre code { border : thin solid black;
           border-radius        : 1em;
           -moz-border-radius   : 1em;
           -webkit-border-radius: 1em;
           margin: 1em 0 1em 0; padding: 0.5em; }
nav ul   { margin: 0;           padding: 0 0 0 1em; }

/* Font sizes */
nav ul, footer { font-size: 0.83em; }
nav ul ul      { font-size: 1em; }

/* layout */
body    { width: 55em; margin: auto; }
nav     { float:right; width: 12em; }
footer  { clear: both; }