1
body { background-color: #FFFFFF; margin: 0px 0px 0px 0px; font-family: Verdana, Helvetica, sans-serif; font-size : 100%; }
3
a:link { color: #0F3660; }
4
a:visited { color: #009999; }
5
a:active { color: #000066; }
6
a:hover { color: #000066; }
10
.menu { background-color: #4C6C8F; margin: 0px; padding: 3px 8px 5px 3px; font-size : 90%; }
11
.menu a:link { color: #FFFFFF; text-decoration : none; }
12
.menu a:visited { color: #FFFFFF; text-decoration : none; }
13
.menu a:hover { color: #FFCC00; text-decoration : none; }
14
.menu ul { margin: 0px 0px 0px 20px; padding: 0px; }
15
.menu li { list-style-image: url('images/label.gif'); font-weight : bold; }
16
.menu ul ul li .sel { list-style-image: url('images/current.gif'); font-weight : normal; }
17
.menu ul ul li { list-style-image: url('images/page.gif'); font-weight : normal; }
19
.menu .base-seleted {color: #000000; }
20
.menu .base-not-selected { font-family: Verdana, Helvetica, sans-serif; }
22
.tab { font-size : 85%; border: 0 }
23
.tab a:link { text-decoration : none; }
24
.tab a:visited { text-decoration : none; color: #2A4A6D }
25
.tab a:hover { color: #000066; }
27
table .title { background-color: #FFFFFF; width:100%; border: 0px; }
28
.dida { font-size: 80%; }
30
.pre { white-space: pre;}
32
.content { padding: 5px 5px 5px 10px; font : small Verdana, Helvetica, sans-serif; font-size : 90%; }
33
.content .ForrestTable { width: 100%; background-color: #7099C5; color: #ffffff; font-size : 90%;}
34
.content .ForrestTable th a:link { color: white; }
35
.content .ForrestTable th a:visited { color: #cfdced; }
36
.content .ForrestTable th a:active { color: #000066; }
37
.content .ForrestTable th a:hover { color: #000066; }
38
.content .ForrestTable caption { text-align: left; color: black; font-weight: bold; }
39
.content .ForrestTable th { text-align: center; }
40
.content .ForrestTable td { background-color: #f0f0ff; color: black; }
41
.content .attribution { text-align: right; font-style: italic; font-size: 90% }
43
.frame { margin: 5px 20px 5px 20px; font-size: 90%; }
44
.frame .content { margin: 0px; }
46
.note { border: solid 1px #7099C5; background-color: #f0f0ff; }
47
.note .label { background-color: #7099C5; color: #ffffff; }
49
.warning { border: solid 1px #D00000; background-color: #fff0f0; }
50
.warning .label { background-color: #D00000; color: #ffffff; }
52
.fixme { border: solid 1px #C6C600; background-color: #FAF9C3; }
53
.fixme .label { background-color: #C6C600; color: #ffffff; }
55
.code { border-color: #CFDCED; border-style: solid; border-width: 1px; }
56
.codefrag { font-family: "Courier New", Courier, monospace; }
58
.highlight { background-color: yellow; }
60
.minitoc {margin: 5px 5px 5px 40px;}
62
.dtdElement { width: 100%; font-size: 90%; background-color : #ffffff; }
64
.dtdTag { color: #990000; text-transform : uppercase; font-style : normal; font-size : 120%; font-weight : bold; }