doc/swift.css

   1 * {
   2 font-family: Georgia, serif;
   3 }
   4
   5 a {
   6 text-decoration: none;
   7 }
   8
   9 img#logo {
  10     position:absolute;
  11     top: 40px;
  12 }
  13
  14 a:hover {
  15 text-decoration: underline;
  16 }
  17
  18 body {
  19 background: #A3CDEA;
  20 margin: 0;
  21 padding: 0px;
  22 }
  23
  24 h1, h2, h3, h4 {
  25 font-family: Trebuchet MS, Arial, sans-serif;
  26 padding: 0;
  27 }
  28
  29 h1 {
  30 color: #000;
  31 font-size: 200%;
  32 font-weight: bold;
  33 margin: 0;
  34 }
  35
  36 h2 {
  37 border-top: 1px dotted #aaa;
  38 font-size: 150%;
  39 margin: 30px 0 10px 0;
  40 padding: 20px 0 0 0;
  41 }
  42
  43 div > h2:first-child {
  44 border-top: none;
  45 margin: 0 0 10px 0;
  46 padding: 0;
  47 }
  48
  49 h3 {
  50 font-weight: normal;
  51 margin: 30px 0 10px 0;
  52 }
  53
  54 h4 {
  55 font-size: 90%;
  56 font-weight: bold;
  57 margin: 20px 0 10px 0;
  58 }
  59
  60
  61 li {
  62 font-size: 12px;
  63 line-height: 1.5em;
  64 }
  65
  66 p {
  67 font-size: 12px;
  68 line-height: 1.5em;
  69 }
  70
  71 ul {
  72 list-style: square;
  73 margin: 0;
  74 padding: 0 0 0 15px;
  75 }
  76
  77
  78
  79 div#container {
  80 margin: 0 auto 0 auto;
  81 width: 700px;
  82 }
  83
  84 div#header  {
  85     font: 32pt Verdana bold;
  86     color: white;
  87     background: #44a;
  88     padding: 5px 30px 15px 0;
  89     text-align: center;
  90 }
  91
  92 div#header img {
  93 vertical-align: middle;
  94 }
  95
  96 div#intro {
  97 background: #fff;
  98 border-bottom: 1px dotted #aaa;
  99 padding: 25px 20px 10px 20px;
 100 }
 101
 102 div#intro p {
 103 font-size: 16px;
 104 }
 105
 106 div#content {
 107 background: #f6f6f6;
 108 border-bottom: 1px solid black;
 109 padding: 20px 20px 20px 20px;
 110 }
 111
 112 div#contact {
 113 background: #fff;
 114 padding: 20px 20px 20px 20px;
 115 }
 116
 117 div#footer {
 118 background: #444;
 119 color: #aaa;
 120 padding: 20px 20px 20px 20px;
 121 }