1 /***********************************************************/
2 /* PAGE-WIDE SETTINGS */
3 /**********************************************************/
17 background-color: white
;
20 /***********************************************************/
22 /***********************************************************/
23 h4
, h3
, h2
, .unnumberedsubsubsec
, .subsubheading
{
30 .unnumberedsubsubsec, .subsubheading {
34 /***********************************************************/
36 /***********************************************************/
37 a:link
, a:visited
, a:hover
, a:active
{color:#2E5479; text-decoration: none
;}
38 a:hover
{text-decoration: underline
;}
39 a:active
{color:#CCCCFF;}
41 /***********************************************************/
42 /* BLOCK FORMATTING */
43 /***********************************************************/
45 border: 1px solid
#CCCCCC;
49 .verbatim, .example, .smallexample {
50 font-family: "Courier New",Courier
,monospace
;
56 background-color: #666666;
59 border: 2px dotted
#CCCCCC;
68 /***********************************************************/
70 /***********************************************************/
87 /***********************************************************/
89 /***********************************************************/
101 background-color: #E7EFE3;
103 list-style-type: none
;
112 #tocframe .contents
{
114 padding-bottom: 0.25em;
117 background-color: transparent
;
118 list-style-type: none
;
121 #tocframe a
, #tocframe
a:visited
, #tocframe
a:active
{
123 text-decoration: none
;
128 text-decoration:underline
;
135 #tocframe ul
.toc li
{
138 list-style-type: none
;
140 #tocframe ul
.toc
> li
{
143 #tocframe ul
.toc li li
{
154 background: transparent
;
160 /***********************************************************/
162 /***********************************************************/
165 background-color: #E7EFE3;
167 border: #CCD3CC 1px solid
;
173 font-family: avantgarde
, sans-serif
;
187 background-color: #CCD3CC;
200 background-color: #E7EFE3;
202 border: #CCD3CC 1px solid
;
208 /***********************************************************/
209 /* OVERRIDES FOR PRINTING */
210 /***********************************************************/
212 /* Hide the sidebar: */
213 body
{ padding-left: 0; }
214 #tocframe { display: none
; }
215 .nav_table { display: none
; }