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! */
91 /* position: fixed; */
100 background-color: #FFFACD;
102 list-style-type: none;
116 #tocframe .contents {
120 background-color: transparent;
121 list-style-type: none;
128 #tocframe ul.toc li {
131 list-style-type: none;
133 #tocframe ul.toc > li {
136 #tocframe ul.toc li li {
147 background: transparent;
153 /***********************************************************/
155 /***********************************************************/
158 background-color: #CCCCCC;
170 /***********************************************************/
171 /* OVERRIDES FOR PRINTING... */
172 /***********************************************************/
174 /* Hide the sidebar: */
175 body { padding-left: 0; }
176 #tocframe { display: none; }
177 .nav_table { display: none; }