3 * --------------------------------------------------
6 font-family: Verdana, Helvetica, Arial, sans-serif;
7 background-color: #ffffff;
11 * No underline for links
12 * Nice dark blue values for links
15 text-decoration: none;
18 text-decoration: none;
32 border: 1px solid black;
41 border: 1px solid #000000;
42 background-color: #e2e2e2;
86 text-decoration: none;
88 padding: 2px 2px 2px 0.5em;
89 background-color: #5dbbf9;
91 div.vmenu ul li a#current {
93 background-color: #97c9ed;
95 div.vmenu ul li a:hover {
97 background-color: #0092f8;
99 div.vmenu ul li a.topic {
100 background-color: #bfbfbf;
103 html>body div.vmenu ul li a {
109 * mode: indented-text