2 background: url
("b.png");
3 background-repeat: repeat-x
;
4 background-position: top left
;
5 background-color: #f4f4f4;
7 font-family: sans-serif
;
15 font-family: "Bitstream Vera", "Vera", "Trebuchet MS", Trebuchet
, Tahoma
, sans-serif
;
22 td
.t
{ background-image:url
("t.gif"); }
23 td
.t
[class
] { background-image:url
("t.png"); }
24 td
.tl
{ background-image:url
("tl.gif"); }
25 td
.tl
[class
] { background-image:url
("tl.png"); }
27 td
.nav
, td
.lnav
, td
.rnav
{
30 vertical-align: middle
;
33 font-family: "Bitstream Vera", "Vera", "Trebuchet MS", Trebuchet
, Tahoma
, sans-serif
;
40 td
.lnav
[class
] { background-image:url
("n.png"); }
41 td
.lnav
[class
] { background-image:url
("n.png"); }
42 td
.rnav
{ background-image:url
("n.gif"); }
43 td
.rnav
[class
] { background-image:url
("n.png"); }
63 h2
{ font-size: 1.1em; }
64 h3
{ font-size: 0.9em; }
66 span
.keyword
{ color: #008000; }
67 span
.keywordtype
{ color: #604020; }
68 span
.keywordflow
{ color: #e08000; }
69 span
.comment
{ color: #800000; }
70 span
.preprocessor
{ color: #806020; }
71 span
.stringliteral
{ color: #002080; }
72 span
.charliteral
{ color: #008080; }
76 text-decoration: underline
;
81 text-decoration: underline
;
86 text-decoration: none
;
91 text-decoration: underline
;
95 text-decoration: none
;
99 a
.nav:link
, a
.nav:visited
{ color: #888888; }
100 a
.nav:active
{ color: #000000; }
101 a
.nav:hover
{ color: #444444; }
102 a
.code:link
, a
.code:visited
{ text-decoration: none
; }
106 border: 1px dotted
#cccccc;
107 background-color: #ffffff;
109 vertical-align: middle
;
125 border: 1px dotted
#cccccc;
126 border-right: 0px dotted
#cccccc;
138 border: 1px dotted
#cccccc;
139 border-left: 0px dotted
#cccccc;
142 .mdescRight { font-style: italic
; }
146 border: 1px dotted
#cccccc;
147 background-color: #ffffff;
153 .paramname { font-weight: normal
; }
156 border: thin solid
#888888;