style_old.css 5.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331
  1. /* Old Default style */
  2. /* ##### Common Styles ##### */
  3. body {
  4. color: black;
  5. XXXbackground-color: rgb(240,240,240);
  6. background-color: white;
  7. font-family: verdana, helvetica, arial, sans-serif;
  8. font-size: 71%; /* Enables font size scaling in MSIE */
  9. margin: 0;
  10. padding: 0;
  11. }
  12. html > body {
  13. font-size: 8.5pt;
  14. }
  15. acronym, .titleTip {
  16. border-bottom: 1px dotted rgb(153,153,153);
  17. cursor: help;
  18. margin: 0;
  19. padding: 0 0 0.4px 0;
  20. }
  21. .doNotDisplay {
  22. display: none;
  23. }
  24. .smallCaps {
  25. font-size: 110%;
  26. font-variant: small-caps;
  27. }
  28. /* ##### Header ##### */
  29. .superHeader {
  30. color: white;
  31. background-color: rgb(100,135,220);
  32. height: 2em;
  33. }
  34. .superHeader a {
  35. color: white;
  36. background-color: transparent;
  37. text-decoration: none;
  38. font-size: 91%;
  39. margin: 0;
  40. padding: 0 0.5ex 0 0.25ex;
  41. }
  42. .superHeader a:hover {
  43. text-decoration: underline;
  44. }
  45. .superHeader .left {
  46. position: absolute;
  47. left: 1.5mm;
  48. top: 0.75ex;
  49. }
  50. .superHeader .right {
  51. position: absolute;
  52. right: 1.5mm;
  53. top: 0.75ex;
  54. }
  55. .midHeader {
  56. color: rgb(39,78,144);
  57. background-color: rgb(140,170,230);
  58. border: solid 0 black;
  59. border-width: 0.3em 0;
  60. }
  61. .headerTitle {
  62. color: black;
  63. font-size: 337%;
  64. font-weight: normal;
  65. margin: 0 0 0 4mm;
  66. padding: 0.25ex 0;
  67. }
  68. #headerSubTitle {
  69. font-size: 50%;
  70. font-style: italic;
  71. }
  72. .subHeader {
  73. display: none;
  74. color: white;
  75. background-color: rgb(0,51,153);
  76. margin: 0;
  77. padding: 1ex 1ex 1ex 1.5mm;
  78. }
  79. .subHeader a {
  80. color: white;
  81. background-color: transparent;
  82. text-decoration: none;
  83. font-weight: bold;
  84. margin: 0;
  85. padding: 0 0.75ex 0 0.5ex;
  86. }
  87. .subHeader a:hover {
  88. text-decoration: underline;
  89. }
  90. .superHeader .highlight, .subHeader .highlight {
  91. color: rgb(253,160,91);
  92. background-color: transparent;
  93. }
  94. /* ##### Side Bar ##### */
  95. #side-bar {
  96. width: 15em;
  97. float: left;
  98. clear: left;
  99. border-right: 1px solid rgb(153,153,153);
  100. }
  101. #side-bar div {
  102. border-bottom: 1px solid rgb(153,153,153);
  103. }
  104. .sideBarTitle {
  105. font-weight: bold;
  106. margin: 0 0 0.5em 2.5mm;
  107. padding: 1em 0 0 0;
  108. }
  109. #side-bar ul {
  110. list-style-type: none;
  111. list-style-position: outside;
  112. margin: 0;
  113. padding: 0 0 1.1em 0;
  114. }
  115. #side-bar li {
  116. margin: 0;
  117. padding: 0.1ex 0; /* Circumvents a rendering bug (?) in MSIE 6.0 */
  118. }
  119. #side-bar a, .thisPage {
  120. color: rgb(0,102,204);
  121. background-color: transparent;
  122. XXXtext-decoration: none;
  123. margin: 0;
  124. padding: 0.55em 1ex 0.55em 5mm;
  125. display: block;
  126. }
  127. .thisPage {
  128. color: black;
  129. background-color: white;
  130. padding-left: 5mm;
  131. XXXborder-top: 1px solid rgb(153,153,153);
  132. XXXborder-bottom: 1px solid rgb(153,153,153);
  133. font-weight: 600;
  134. }
  135. #side-bar a:hover {
  136. color: white;
  137. background-color: rgb(100,135,220);
  138. text-decoration: none;
  139. }
  140. .sideBarText {
  141. line-height: 1.5em;
  142. margin: 0 0 1em 0;
  143. padding: 0 1.5ex 0 2.5mm;
  144. display: block;
  145. }
  146. #side-bar .sideBarText a {
  147. text-decoration: underline;
  148. margin: 0;
  149. padding: 0;
  150. display: inline;
  151. }
  152. #side-bar .sideBarText a:hover {
  153. color: rgb(0,102,204);
  154. background-color: transparent;
  155. text-decoration: none;
  156. }
  157. .lighterBackground {
  158. color: inherit;
  159. background-color: white;
  160. }
  161. /* ##### Main Copy ##### */
  162. #main-copy {
  163. max-width: 90em;
  164. color: black;
  165. background-color: white;
  166. text-align: justify;
  167. line-height: 1.5em;
  168. margin: 0 0 0 15em;
  169. padding: 0.5mm 5mm 5mm 5mm;
  170. border-left: 1px solid rgb(153,153,153);
  171. }
  172. #main-copy p {
  173. margin: 1em 1ex 2em 1ex;
  174. padding: 0;
  175. }
  176. #main-copy a {
  177. color: rgb(0,102,204);
  178. background-color: transparent;
  179. text-decoration: underline;
  180. }
  181. #main-copy a:hover {
  182. text-decoration: none;
  183. }
  184. #main-copy h1 {
  185. color: white;
  186. background-color: rgb(100,135,220);
  187. font-size: 100%;
  188. font-weight: bold;
  189. margin: 3em 0 0 0;
  190. padding: 0.5ex 0 0.5ex 1ex;
  191. }
  192. #main-copy .topOfPage {
  193. color: white;
  194. background-color: transparent;
  195. font-size: 91%;
  196. font-weight: bold;
  197. text-decoration: none;
  198. margin: 2.5ex 1ex 0 0; /* For MSIE */
  199. padding: 0;
  200. float: right;
  201. }
  202. #main-copy > .topOfPage {
  203. margin: 2.75ex 1ex 0 0; /* For fully standards-compliant user agents */
  204. }
  205. dl {
  206. margin: 1em 1ex 2em 1ex;
  207. padding: 0;
  208. }
  209. dt {
  210. font-weight: bold;
  211. margin: 0 0 0 0;
  212. padding: 0;
  213. }
  214. dd {
  215. margin: 0 0 2em 2em;
  216. padding: 0;
  217. }
  218. /* ##### Footer ##### */
  219. #footer {
  220. color: white;
  221. background-color: rgb(100,135,220);
  222. font-size: 91%;
  223. margin: 0;
  224. padding: 1em 2.5mm 2.5ex 2.5mm;
  225. clear: both;
  226. }
  227. #footer .left {
  228. line-height: 1.45em;
  229. float: left;
  230. clear: left;
  231. }
  232. #footer .right {
  233. text-align: right;
  234. line-height: 1.45em;
  235. }
  236. #footer a {
  237. color: white;
  238. background-color: transparent;
  239. text-decoration: underline;
  240. }
  241. #footer a:hover {
  242. text-decoration: none;
  243. }
  244. /* GENERAL */
  245. /* Spam */
  246. .spam {
  247. text-align: center;
  248. }
  249. /* Tables */
  250. table {
  251. border: solid 1px black;
  252. }
  253. th {
  254. background-color: #abc;
  255. border: solid 1px black;
  256. }
  257. td {
  258. background-color: #def;
  259. border: solid 1px black;
  260. }
  261. hr {
  262. border-width: 0px 0px 0.1em 0px;
  263. border-color: black;
  264. }
  265. .spam table, .spam th, .spam td {
  266. border: none;
  267. }
  268. /* Code */
  269. pre {
  270. margin-left: 2em;
  271. }