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