color: #1a41a8;
font-weight: bold;
margin-right: 14px;
+ border-bottom: 1px solid #84b0c7;
}
p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin,
width: 35%;
}
+div.toc {
+ width: 25%;
+ margin: 10px 0px;
+}
+
+div.toc ol {
+ padding: 0px;
+ margin: 0pt 0pt 0pt 40px;
+ list-style-type: decimal;
+}
+
+div.toc li {
+ padding: none;
+}
+
+div.toc div {
+ margin: 10px 0px;
+ font-weight: bold;
+ font-size: 120%
+}
+
/* \f
* Local Variables:
* indent-tabs-mode: nil