1 @import url(td_oc.css);
\r
8 background-color: #ffe4b5;
\r
9 background-color: #ffffdf;
\r
15 font-family: Arial, sans-serif;
\r
30 background-color: #F8F8F8;
\r
34 a.nonexistent:visited {
\r
35 background-color: #F8F8F8;
\r
41 background-color: #e0ff6e
\r
44 strong { font-weight: bold; }
\r
46 ul { list-style-type: disc }
\r
48 dl.contents { margin-top: 0; }
\r
49 dt.contents { margin-bottom: 0; }
\r
59 /* monospace does not work in Firefox 0.9.2 font-family: monospace; */
\r
64 dl.bolddt dt { font-weight: bold; }
\r
70 margin-bottom: 0.7em;
\r
77 background-color: maroon;
\r
81 margin-bottom: 0.7em;
\r
86 background-color: #df7;
\r
87 background-color: #edef87;
\r
91 -moz-border-radius: 1em;
\r
95 padding-right: 1.1em;
\r
96 //font-size: 0.8em; /* For IE only */
\r
101 margin-bottom: 0.5em;
\r
106 #PAGETOC a:hover { background-color: yellow; }
\r
108 list-style-type: none;
\r
110 padding-left: 1.5em;
\r
115 #PAGETOC ul li ul { }
\r
116 #PAGETOC ul li ul li { font-weight: normal;}
\r
118 //display:inline; /* For IE only */
\r
121 background-color:#ef4;
\r
122 background-color: #edef87;
\r
128 background-color:#cef;
\r
130 -moz-border-radius: 2em;
\r
137 background-color: #556b2f;
\r
139 -moz-border-radius: 1em;
\r
141 #download a:hover {
\r
143 background-color: black;
\r
144 text-decoration: underline;
\r
148 border-style:solid;
\r
149 border-color:#556b2f;
\r
151 -moz-border-radius: 1em;
\r
155 background-color: #fff;
\r
157 border-style: solid;
\r
158 -moz-border-radius: 1em;
\r
166 border-style:solid;
\r
167 border-color:#556b2f;
\r
169 padding-left:1.5em;
\r
170 -moz-border-radius: 1em;
\r