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
; }