3 font-family: Verdana, Arial, Helvetica;
15 /* margin: 1.2em 14% 0.5em 3%; */
28 /* margin: 1.0em 14% 0.2em 4%;*/
29 /* My suggested new color and size, to take the new subsections (level 3) into account.
35 font-family: Verdana, Arial, Helvetica;
36 /*text-decoration: underline;*/
40 /* margin: 1.0em 14% 0.2em 4%;*/
44 font-family: Verdana, Arial, Helvetica;
45 /* text-decoration: underline; */
49 /* margin: 1.0em 14% 0.2em 4%;*/
53 font-family: Verdana, Arial, Helvetica;
54 /* text-decoration: underline; */
57 a.highlight:link { color: #00ff00; text-decoration: none; }
58 a.highlight:visited { color: #00ff00; text-decoration: none; }
59 a.highlight:hover { color: #00ff00; text-decoration: underline; }
60 a.highlight:active { color: #00ff00; text-decoration: underline; }
62 a.menulink:link { color: #a0a0d0; text-decoration: none; }
63 a.menulink:visited { color: #a0a0d0; text-decoration: none; }
64 a.menulink:hover { color: #00ff00; text-decoration: underline; }
65 a.menulink:active { color: #00ff00; text-decoration: underline; }
67 a.oldlink:link { color: #9090c0; text-decoration: none; }
68 a.oldlink:visited { color: #9090c0; text-decoration: none; }
69 a.oldlink:hover { color: #00ff00; text-decoration: underline; }
70 a.oldlink:active { color: #00ff00; text-decoration: underline; }
72 a.altlink:link { color: #7a5ada; text-decoration: none; }
73 a.altlink:visited { color: #5a3aba; text-decoration: none; }
74 a.altlink:hover { color: #7a5ada; text-decoration: underline; }
75 a.altlink:active { color: #7a5ada; text-decoration: underline; }
81 font-family: Verdana, Arial, Helvetica;
86 padding-bottom: 0.75em;
92 font-family: Verdana, Arial, Helvetica;
100 font-family: Verdana, Arial, Helvetica;
102 /* padding-left: 1.0em;
103 padding-right: 1.0em;*/
110 margin-bottom: 1.0em;
115 font-family: Verdana, Arial, Helvetica;
117 padding-bottom: 0.2em;
126 margin-bottom: 0.15em;
135 margin-bottom: 0.05em;
148 font-family: Verdana, Arial, Helvetica;
155 margin: 1.2em 14% 0.5em 3%;
162 padding-right: 1.0em;
163 margin: 0em 0% 0.2em 0%;
165 font-family: Verdana, Arial, Helvetica;
171 text-decoration: underline;
176 text-decoration: underline;
181 text-decoration: underline;
187 font-family: Verdana, Arial, Helvetica;
190 /*margin: 0.5em 0% 0.5em 0%;*/
197 padding-right: 1.0em;
198 font-family: Verdana, Arial, Helvetica;
205 margin-bottom: 0.5em;
211 margin-bottom: 0.0em;
215 /*content with no padding, for an ugly Netscape 4.7 compatibility hack*/
218 margin-bottom: 0.5em;
219 font-family: Verdana, Arial, Helvetica;
225 font-family: Lucida Console, Courier;
239 font-family: Lucida Console, Courier;
245 font-family: Lucida Console, Courier;
285 font-family: Verdana, Arial, Helvetica;
305 padding-right: 1.0em;
309 font-family: Verdana, Arial, Helvetica;
327 font-family: Verdana, Arial, Helvetica;
334 font-family: Verdana, Arial, Helvetica;
336 border: 3px white solid;
338 /*this works fine in IE, but not in any other browser!, yet it's perfectly valid */
339 .docs-index .emphasis {