1 /***********************************************************/
2 /* PAGE-WIDE SETTINGS */
3 /**********************************************************/
18 /***********************************************************/
20 /***********************************************************/
25 .unnumberedsubsubsec {
34 /***********************************************************/
36 /***********************************************************/
48 text-decoration:underline;
51 /***********************************************************/
52 /* BLOCK FORMATTING */
53 /***********************************************************/
55 border: 1px solid #cccccc;
60 font-family: "Courier New",Courier,monospace;
66 background-color: #666666;
69 border: 2px dotted #cccccc;
78 /***********************************************************/
80 /***********************************************************/
97 /***********************************************************/
99 /***********************************************************/
111 background-color: #FFFACD;
113 list-style-type: none;
122 #tocframe .contents {
124 padding-bottom: 0.25em;
127 background-color: transparent;
128 list-style-type: none;
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 /***********************************************************/
166 background-color: #CCC;
179 /***********************************************************/
180 /* OVERRIDES FOR PRINTING... */
181 /***********************************************************/
183 /* Hide the sidebar: */
184 body { padding-left: 0; }
185 #tocframe { display: none; }
186 .nav_table { display: none; }