6 border-bottom: 1px solid #707070;
12 font: bold 14px Verdana, Sans-Serif;
14 div.navigation ul li {
19 div.navigation ul li a {
23 border: 1px solid #707070;
24 text-decoration: none;
26 div.navigation ul li.Infodrom a {
29 div.navigation ul li.Linux a {
32 div.navigation ul li.Debian a {
35 div.navigation ul li.linx a {
38 div.navigation ul li.text a {
41 div.navigation ul li.service a {
44 div.navigation ul li.zeitungen a {
47 div.navigation ul li.News a {
50 div.navigation ul li.projects a {
53 div.navigation ul li a:link, div.navigation ul li a:visited {
56 div.navigation ul li a:link:hover, div.navigation ul li a:visited:hover {
58 border-color: #000000;
62 * Settings with id=current
64 div.navigation ul li a#current,
65 div.navigation ul li a:link:hover#current,
66 div.navigation ul li a:visited:hover#current {
68 border-color: #000000;
70 div.navigation ul li.Infodrom a#current,
71 div.navigation ul li.Infodrom a:link:hover#current,
72 div.navigation ul li.Infodrom a:visited:hover#current {
73 border-bottom: 1px solid #b1b1ff;
75 div.navigation ul li.Linux a#current,
76 div.navigation ul li.Linux a:link:hover#current,
77 div.navigation ul li.Linux a:visited:hover#current {
78 border-bottom: 1px solid #b5e2f1;
80 div.navigation ul li.Debian a#current,
81 div.navigation ul li.Debian a:link:hover#current,
82 div.navigation ul li.Debian a:visited:hover#current {
83 border-bottom: 1px solid #ff6c6c;
85 div.navigation ul li.linx a#current,
86 div.navigation ul li.linx a:link:hover#current,
87 div.navigation ul li.linx a:visited:hover#current {
88 border-bottom: 1px solid #ffb35a;
90 div.navigation ul li.text a#current,
91 div.navigation ul li.text a:link:hover#current,
92 div.navigation ul li.text a:visited:hover#current {
93 border-bottom: 1px solid #f4ff76;
95 div.navigation ul li.service a#current,
96 div.navigation ul li.service a:link:hover#current,
97 div.navigation ul li.service a:visited:hover#current {
98 border-bottom: 1px solid #ffa9fa;
100 div.navigation ul li.zeitungen a#current,
101 div.navigation ul li.zeitungen a:link:hover#current,
102 div.navigation ul li.zeitungen a:visited:hover#current {
103 border-bottom: 1px solid #ab82ff;
105 div.navigation ul li.News a#current,
106 div.navigation ul li.News a:link:hover#current,
107 div.navigation ul li.News a:visited:hover#current {
108 border-bottom: 1px solid #91ec76;
110 div.navigation ul li.projects a#current,
111 div.navigation ul li.projects a:link:hover#current,
112 div.navigation ul li.projects a:visited:hover#current {
113 border-bottom: 1px solid #20b705;
123 font: bold 13px Verdana, Sans-Serif;
130 div.submenu ul li a {
134 border: 1px solid #707070;
135 border-top-style: none;
136 text-decoration: none;
138 div.submenu ul li a.Infodrom {
141 div.submenu ul li a.Linux {
144 div.submenu ul li a.Debian {
147 div.submenu ul li a.linx {
150 div.submenu ul li a.text {
153 div.submenu ul li a.service {
156 div.submenu ul li a.zeitungen {
159 div.submenu ul li a.News {
162 div.submenu ul li a.projects {
165 div.submenu ul li a:link,
166 div.submenu ul li a:visited {
169 div.submenu ul li a:link:hover,
170 div.submenu ul li a:visited:hover,
171 div.submenu ul li a#current,
172 div.submenu ul li a:link:hover#current,
173 div.submenu ul li a:visited:hover#current {
175 border-color: #000000;
201 text-decoration: none;
204 padding: 2px 2px 2px 0.5em;
205 background-color: #ededed;
207 div.vmenu ul li a#current {
209 background-color: #d2d2d2;
211 div.vmenu ul li a:hover {
213 background-color: #e1e1e1;
215 div.vmenu ul li a.topic {
216 background-color: #bfbfbf;
219 html>body div.vmenu ul li a {
227 border: 5px solid #000000;
239 text-decoration: none;
243 background-color: #ffffff;
245 html>body div.omenu ul li a {
251 * mode: indented-text