18 background-color: #080808;
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: #181818;
124 border: 3px solid #404040;
130 top: 7em; /* header height + 3em */
134 #navigation a:link,#navigation a:visited
140 >>>>>>> 8e5d15f920de50d67239e70fc39673ba73bd549c
143 #navigation a:active,#navigation a:hover
149 >>>>>>> 8e5d15f920de50d67239e70fc39673ba73bd549c
154 list-style-type: none;