1 /***********************************************************/
2 /* PAGE-WIDE SETTINGS */
3 /***********************************************************/
9 /***********************************************************/
11 /***********************************************************/
16 .unnumberedsubsubsec {
25 /***********************************************************/
27 /***********************************************************/
39 text-decoration:underline;
42 /***********************************************************/
43 /* BLOCK FORMATTING */
44 /***********************************************************/
46 border: 1px solid #cccccc;
51 font-family: "Courier New",Courier,monospace;
57 background-color: #666666;
60 border: 2px dotted #cccccc;
69 /***********************************************************/
71 /***********************************************************/
73 border: 1px dashed #339999;
75 list-style-type: square;
78 background-color: #fcfff9;
82 /***********************************************************/
84 /***********************************************************/
86 padding-left: 27%; /* To create space for the sidebar! */
97 background-color: #FFFACD;
99 list-style-type: none;
102 #tocframe .contents {
106 background-color: transparent;
107 list-style-type: none;
114 #tocframe ul.toc li {
117 list-style-type: none;
119 #tocframe ul.toc > li {
122 #tocframe ul.toc li li {
133 background: transparent;
139 /***********************************************************/
141 /***********************************************************/
144 background-color: #CCCCCC;
156 /***********************************************************/
157 /* OVERRIDES FOR PRINTING... */
158 /***********************************************************/
160 /* Hide the sidebar: */
161 body { padding-left: 0; }
162 #tocframe { display: none; }
163 .nav_table { display: none; }