17 /* <div id="navigation"> */
39 text-decoration: none;
42 background-color: #eee;
45 #navigation ul li a:hover {
46 background-color: #ccc;
49 #navigation ul li.CurrentSection a {
50 background-color: #FFF;
53 #navigation ul li.CurrentSection a:hover {
54 background-color: #FFF;
57 #subnavigation ul li.CurrentSection a {
58 border-width: 0 0 1px 0;
61 /* </div id="navigation"> */
63 /* <div id="content"> */
75 border-collapse: collapse;
87 table.wide tr:nth-child(odd) {
91 table.wide thead tr:nth-child(odd) {
96 float: right; /* so decimal points match up */
97 font-family: monospace; /* so that n-place digits line up */
98 text-align: '.'; /* should work by itself, but browser support is bad */
109 /* </div id="content"> */