website/inc/IE7/ie7-server.css

   1 body, td, dd {font: 10pt Verdana, Arial, Helvetica, sans-serif; color: black;}\r
   2 body {margin: 8px; background: #333;}\r
   3 h1 {margin: 0;}\r
   4 h1 a:hover {background-color: transparent;}\r
   5 h2 {font-size: 1.75em;}\r
   6 h3 {font-size: 1.1em;}\r
   7 p.footnote {font-family: "Times New Roman", Times, serif; font-style: italic;}\r
   8 a:active {color: #ff0000;}\r
   9 a:link {color: #0a6cce;}\r
  10 a:visited {color: #0a6cce;}\r
  11 code, *.code {font-family: monospace; font-size: 100%; font-style: normal; white-space: nowrap;\r
  12  padding: 0 1px; background: #f2f3f8; border: #d6d9e9 1px solid;}\r
  13 code.box {display: block; padding: 10px; margin: 0.5em 0;}\r
  14 ul {list-style-type: square;}\r
  15 dd {margin: .2em 0 .5em 1em;}\r
  16 dl.library dt {display: list-item; margin-left: 3em; list-style-type: square;}\r
  17 dl.library dd {font-style: italic; margin-left: 3em;}\r
  18 dt {font-weight: bold;}\r
  19 dt.pack {color: brown;}\r
  20 a img {border-style: none;}\r
  21 hr {height: 1px; color: #000; border-style: solid;}\r
  22 hr.short {height: 2px; width: 100px;}\r
  23 div.document {background: #eef; padding: 20px 20px 5px 20px; width: 600px; border: 1px solid black;}\r
  24 hr {border-bottom-width: 0px;}\r
  25 div.header hr {color: #0a6cce; background-color: #0a6cce;}\r
  26 div.footer hr {color: #898e79; background-color: #898e79; }\r
  27 div.header, div.header a:link, div.header a:visited, h3 a:link, h3 a:visited {text-decoration: none;}\r
  28 a:hover {color: #fff; background-color: #0a6cce; text-decoration: none;}\r
  29 div.footer a:hover {background-color: transparent; text-decoration: none;}\r
  30 div.header .menu {text-align: right;}\r
  31 div.content {min-height: 100px;}\r
  32 div.footer {font-size: x-small; margin-top: 8px;}\r
  33 div.footnote {font-family: "times new roman", times; font-style: italic; margin-top: 10px;}\r
  34 #license {margin-top: 5px; font-size: xx-small;}\r
  35 table {border-top: 1px solid #000; border-left: 1px solid #000;}\r
  36 th {background-color: #fff; text-align: left;}\r
  37 th, td {border-right: 1px solid #000; border-bottom: 1px solid #000;}\r
  38 th.small {width: 100px;}\r
  39 th.medium {width: 200px;}\r
  40 th.large {width: 270px;}\r
  41 th.x-large {width: 408px;}\r
  42 table.fixed {table-layout: fixed;}\r
  43 span.comment {color: #666;}\r
  44 \r