3 background-color: #fff;
4 font: normal 90% Arial, Helvetica, Verdana;
13 background-color: #eeeeee;
16 border-bottom: 1px solid #cacaca;
21 text-decoration: none;
24 #logo a:hover, #logo a:active {
35 padding: 5px 5px 2px 10px;
37 border-right: 1px dotted #cacaca;
40 /* The content margin-right is 245 px. To get navigation's dotted border
41 to same position as contents dotted border we have width 231 + right
42 border padding 4 + left border padding 10 == 245 px. */
44 border-left: 1px dotted #cacaca;
49 padding: 5px 4px 2px 10px;
53 background-color: #eeeeee;
57 border-top: 1px solid #cacaca;
62 text-decoration: none;
65 #footer a:hover, #footer a:active {
70 font-family: monospace;
78 background-color: #ffe;
79 border: dashed #aa9 1px;
93 list-style-image: url(./arrow.png);
99 padding: 4px 1px 1px 5px;
100 background: url(./arrow.png) no-repeat center left;
112 text-decoration: none;
115 #content a:hover, #content a:active {
160 text-decoration: none;
165 text-decoration: none;
170 text-decoration: none;
175 text-decoration: none;
183 .menuitem {width: auto;}
184 #content {width: auto;}
185 .menuitem {display: block;}
215 #navigation {display: none;}
216 #content {padding: 0px;}
217 #content a {text-decoration: underline;}