3 /* ==================== aural ============================ */
6 h1, h2, h3, h4, h5, h6 { voice-family: paul, male; stress: 20; richness: 90 }
7 h1 { pitch: x-low; pitch-range: 90 }
8 h2 { pitch: x-low; pitch-range: 80 }
9 h3 { pitch: low; pitch-range: 70 }
10 h4 { pitch: medium; pitch-range: 60 }
11 h5 { pitch: medium; pitch-range: 50 }
12 h6 { pitch: medium; pitch-range: 40 }
13 li, dt, dd { pitch: medium; richness: 60 }
15 pre, code, tt { pitch: medium; pitch-range: 0; stress: 0; richness: 80 }
16 em { pitch: medium; pitch-range: 60; stress: 60; richness: 50 }
17 strong { pitch: medium; pitch-range: 60; stress: 90; richness: 90 }
18 dfn { pitch: high; pitch-range: 60; stress: 60 }
19 s, strike { richness: 0 }
20 i { pitch: medium; pitch-range: 60; stress: 60; richness: 50 }
21 b { pitch: medium; pitch-range: 60; stress: 90; richness: 90 }
24 :link { voice-family: harry, male }
25 :visited { voice-family: betty, female }
26 :active { voice-family: betty, female; pitch-range: 80; pitch: x-high }
30 padding: 0 20px 0px 0px;
32 background-repeat: no-repeat;
33 background-position: center right;
34 background-image: url(images/external-link.gif);
37 #top { background-color: #FFFFFF;}
39 #top .header .current { background-color: #4C6C8F;}
40 #top .header .current a:link { color: #ffffff; }
41 #top .header .current a:visited { color: #ffffff; }
42 #top .header .current a:hover { color: #ffffff; }
44 #tabs li { background-color: #E5E4D9 ;}
45 #tabs li a:link { color: #000000; }
46 #tabs li a:visited { color: #000000; }
47 #tabs li a:hover { color: #000000; }
49 #level2tabs a.selected { background-color: #4C6C8F ;}
50 #level2tabs a:link { color: #ffffff; }
51 #level2tabs a:visited { color: #ffffff; }
52 #level2tabs a:hover { color: #ffffff; }
54 #level2tabs { background-color: #E5E4D9;}
55 #level2tabs a.unselected:link { color: #000000; }
56 #level2tabs a.unselected:visited { color: #000000; }
57 #level2tabs a.unselected:hover { color: #000000; }
59 .heading { background-color: #E5E4D9;}
61 .boxed { background-color: #E5E4D9;}
62 .underlined_5 {border-bottom: solid 5px #E5E4D9;}
63 .underlined_10 {border-bottom: solid 10px #E5E4D9;}
65 background-color: #E5E4D9;
74 #feedback #feedbackto {
88 #menu .menupagetitle { background-color: #CFDCED;
91 #menu { border-color: #999999;}
92 #menu .menupagetitle { border-color: #999999;}
93 #menu .menupageitemgroup { border-color: #999999;}
95 #menu { background-color: #4C6C8F;}
96 #menu { color: #ffffff;}
97 #menu a:link { color: #ffffff;}
98 #menu a:visited { color: #ffffff;}
100 background-color: #4C6C8F;
105 background-color: #cfdced;
109 background-color: #E5E4D9 ;
113 #menu .menupageitemgroup {
114 background-color: #E5E4D9;
116 #menu .menupageitem {
119 #menu .menupageitem a:link { color: #000000;}
120 #menu .menupageitem a:visited { color: #000000;}
121 #menu .menupageitem a:hover {
122 background-color: #E5E4D9;
127 background-color: #ffffff;
130 a:link { color:#0000ff}
131 a:visited { color:#009999}
132 a:hover { color:#6587ff}
135 .ForrestTable { background-color: #ccc;}
137 .ForrestTable td { background-color: #ffffff;}
139 .highlight { background-color: #ffff00;}
141 .fixme { border-color: #c60;}
143 .note { border-color: #069;}
145 .warning { border-color: #900;}
147 .code { border-color: #a5b6c6;}
149 #footer { background-color: #E5E4D9;}
155 background-color: #f0f0f0;
156 font-family: monospace;
159 #footer a { color: #0F3660; }
160 #footer a:visited { color: #009999; }