3 background-color: #dddddd;
24 div.section li.title p
29 div.section li.title ul
34 div.section li.title ol
39 div.section li.subtitle
44 div.section li.subsubtitle
51 border: thin solid #000000;
53 background-color: #ffffe0;
62 div.comp div.xlib ul li
64 font-family: monospace;
72 div.comp div.xcb ul li
74 font-family: monospace;
83 border: thin solid #000000;
85 background-color: #efefef;
92 border: thin solid #000000;
94 background-color: #efefef;
101 font-family: monospace;