1 body, td, th { 2 font-family: Lucida Grande, Tahoma, Verdana, Arial, sans-serif; 3 font-size: 9pt; 4 } 5 6 table,th,tr,td { 7 border: none; 8 } 9 10 th { 11 background: #aaa; 12 } 13 14 td { 15 background: #efefef; 16 } 17 18 td { 19 padding-top: 3px; 20 padding-right: 4px; 21 padding-left: 4px; 22 padding-bottom: 3px; 23 } 24 25 h2 { 26 text-align: center; 27 } 28 29 h3 { 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 38 hr { 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 113 A:link { 114 text-decoration: none; 115 } 116 117 A:hover.summary { 118 text-decoration: none; 119 color: #ff9900; 120 } 121 122 A: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