1body, td, th { 2 font-family: Lucida Grande, Tahoma, Verdana, Arial, sans-serif; 3 font-size: 9pt; 4} 5 6table,th,tr,td { 7 border: none; 8} 9 10th { 11 background: #aaa; 12} 13 14td { 15 background: #efefef; 16} 17 18td { 19 padding-top: 3px; 20 padding-right: 4px; 21 padding-left: 4px; 22 padding-bottom: 3px; 23} 24 25h2 { 26 text-align: center; 27} 28 29h3 { 30 background: #efefef; 31 letter-spacing: 0.12em; 32 border-bottom: 1px dotted #aaa; 33 padding-top: 8px; 34 padding-left: 4px; 35 width: 70%; 36} 37 38hr { 39 height: 5px; 40 border: 0; 41 color: #aaa; 42 background-color: #aaa; 43} 44 45.doctype { 46 color: red 47} 48 49.xml-comment { 50 color: green; 51} 52 53.attribute { 54 color: blue; 55} 56 57.tag { 58 color: #7f0055; 59 font-weight: bold; 60} 61 62.float-right { 63 float: right; 64} 65 66.code { 67 margin-left: 20px; 68 margin-top: 10px; 69 background-color: #ffffdd; 70 border: 1pt solid silver; 71 border-color: #ccc #999 #999 #CCC; 72 color: #000000; 73 padding: 5px 5px 5px 7px; 74 font-size: 11px; 75 padding: .3em .6em; 76 font-family: Courier New 77} 78 79.box { 80 border: 1pt solid silver; 81 border-color: #ccc #999 #999 #CCC; 82 background-color: #ffffdd; 83} 84 85#menu { 86 font-size: small; 87 line-height: 0.9em; 88 clear: both; 89 margin-top: 10px; 90 } 91 92#menu li { 93 margin-bottom: 7px; 94 } 95 96#menu li li { 97 margin-top: 2px; 98 margin-bottom: 2px; 99 } 100 101#menu li.submenuitems { 102 margin-bottom: 2px; 103 } 104 105#menu a { 106 text-decoration: none; 107 } 108 109.e{margin-left:1em;text-indent:-1em;margin-right:1em} 110.m{color:blue} 111.t{color:#990000} 112 113A:link { 114 text-decoration: none; 115} 116 117A:hover.summary { 118 text-decoration: none; 119 color: #ff9900; 120} 121 122A:visited { 123 text-decoration: none; 124} 125 126 127 128 129 130 131/*********************************************/ 132/* The following rules apply to the top menu */ 133/*********************************************/ 134#topmenu a { 135 text-decoration: none; 136} 137#topmenu a:link { 138 color: #0066bb; 139} 140#topmenu a:visited { 141 color: #006699; 142} 143#topmenu a:active { 144 color: red; 145} 146#topmenu a:hover { 147 color: red; 148} 149#topmenu table { 150 background-color: #ffcc66; 151 text-align: center; 152} 153#topmenu td { 154 font-size: small; 155 font-weight: bold; 156} 157#topmenu td.current { 158 background: #ffff00; 159} 160/* The next rule is a patch because other rules are not scoped correctly */ 161#topmenu td { 162 background-color: #ffcc66; 163} 164