WebKitSite/webkitdev.css

   1 body {
   2     font-family: Helvetica, Arial, san-serif;
   3     margin: 0;
   4     font-size: 90%;
   5     background-color: white;
   6     text-align: justify;
   7 }
   8
   9 a:link, a:visited {
  10     color: rgb(34,98,245);
  11     text-decoration: none;
  12 }
  13
  14 a:hover, a:active {
  15     text-decoration: underline;
  16 }
  17
  18 li {
  19     margin-bottom: 15px;
  20 }
  21
  22 h3 {
  23     margin-top: 12px;
  24 }
  25
  26 h4 {
  27     font-size: 105%;
  28     margin: 20px 0 3px 0;
  29 }
  30
  31 #sidebar {
  32     top: 0;
  33     right: 0;
  34     height: 100%;
  35     margin-left: 10px;
  36     border-width: 0;
  37     border-style: none;
  38     border-left: 1px #C3C3C3 solid;
  39     width: 181px;
  40     float:right; /* hack for winie to not choke utterly on the site */
  41 }
  42
  43 body > #sidebar {
  44     float:none;
  45     position: fixed; /* WinIE doesn't understand this so we can make things right in other browsers. */
  46 }
  47
  48 h1#banner {
  49     background-color: rgb(81,118,236);
  50     background-image: url(images/bluebanner.png);
  51     background-repeat: repeat-x;
  52     background-position: top left;
  53     cursor: default;
  54     color: #FFFFFF;
  55     margin: 0 182px 0 0;
  56     font-weight: normal;
  57     padding: 6px 0 8px 8px;
  58     font-size: 24px;
  59     letter-spacing: 0.07em;
  60     -apple-text-size-adjust: none;
  61 }
  62
  63 #content {
  64     margin-right: 201px;
  65     margin-top: 1em;
  66     margin-left: 1em;
  67     line-height: 140%;
  68 }
  69
  70 .code, pre, tt, code {
  71     font-family: Courier, Fixed;
  72     font-size: 110%;
  73 }
  74
  75 .code {
  76     margin-left: 2em;
  77     font-size: 90%;
  78 }