1 /***********************************************************/
2 /* PAGE-WIDE SETTINGS */
3 /**********************************************************/
18 /***********************************************************/
20 /***********************************************************/
25 .unnumberedsubsubsec, .subsubheading {
30 /***********************************************************/
32 /***********************************************************/
44 text-decoration:underline;
47 /***********************************************************/
48 /* BLOCK FORMATTING */
49 /***********************************************************/
51 border: 1px solid #cccccc;
56 font-family: "Courier New",Courier,monospace;
62 background-color: #666666;
65 border: 2px dotted #cccccc;
74 /***********************************************************/
76 /***********************************************************/
93 /***********************************************************/
95 /***********************************************************/
107 background-color: #FFFACD;
109 list-style-type: none;
118 #tocframe .contents {
120 padding-bottom: 0.25em;
123 background-color: transparent;
124 list-style-type: none;
131 #tocframe ul.toc li {
134 list-style-type: none;
136 #tocframe ul.toc > li {
139 #tocframe ul.toc li li {
150 background: transparent;
156 /***********************************************************/
158 /***********************************************************/
162 background-color: #CCC;
175 /***********************************************************/
176 /* OVERRIDES FOR PRINTING... */
177 /***********************************************************/
179 /* Hide the sidebar: */
180 body { padding-left: 0; }
181 #tocframe { display: none; }
182 .nav_table { display: none; }