3 background-color: #dddddd;
24 div.section li.subtitle
29 div.section li.subsubtitle
36 border: thin solid #000000;
37 background-color: #ffffe0;
48 font-family: monospace;
56 font-family: monospace;
63 border: thin solid #000000;
64 background-color: #efefef;
71 border: thin solid #000000;
72 background-color: #efefef;
79 font-family: monospace;