2 font-family: Verdana
, "Bitstream Vera Sans", sans-serif
;
3 background-color: #c9c9c9;
14 text-decoration: none
;
28 /* margin-right: 20%; */
37 /* margin-left: 78%; */
41 background-color: #a01c1c;
47 #TOC > ul
> li
> ul
> li ul
{ display: none
; }
50 text-decoration: none
;
55 text-decoration: none
;