18 background-color: #101010;
25 background-color: #402020;
26 border: 2px dashed #000000;
29 font-family: monospace;
32 margin: 1.5em 1.0em 1.5em 1.0em;
101 margin: 0 14em 50px 20px; /* navigation width + 4em */
108 margin: 0 10em 0 10em;
116 margin: 0 10em 0 10em;
123 background-color: #301800;
124 border: 3px solid #603000;
130 top: 7em; /* header height + 3em */
134 #navigation a:link,#navigation a:visited
139 #navigation a:active,#navigation a:hover
146 list-style-type: none;