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 {