docs/stylesheet.css

   1 body {
   2         margin: 0px 0px 0px 0px;
   3         color: white;
   4         background-color: #93c6f9;
   5         font: 12pt/18pt georgia;
   6 }
   7
   8 div.main {
   9         margin: 10px 10px 10px 10px;
  10         padding: 10px 10px 10px 10px;
  11         color: black;
  12         background-color: white;
  13 }
  14
  15 div.titre {
  16         text-align: center;
  17         background-color: #336699;
  18         color: white;
  19         padding: 10px 10px 10px 10px;
  20 }
  21
  22 h1 {
  23         text-align: center;
  24         font: 26pt georgia;
  25         letter-spacing: 3px;
  26 }
  27
  28 h2 {
  29         padding: 5px 5px 5px 5px;
  30         background-color: #c2e0ff;
  31         color: #336699;
  32 }
  33
  34 a:link, a:visited {
  35         font-weight: bold;
  36         text-decoration: none;
  37         color: #336699;
  38 }
  39
  40 a:hover, a:active {
  41         text-decoration: underline;
  42         color: #9685BA;
  43 }
  44
  45 h3 {
  46         font: italic normal 14pt georgia;
  47         letter-spacing: 1px;
  48         margin-bottom: 0px;
  49         margin-left: 10px;
  50         margin-right: 10px;
  51         color: #336699;
  52 }
  53
  54 p {
  55         margin-left: 10px;
  56         margin-right: 10px;
  57         text-align: justify;
  58 }
  59
  60 pre {
  61   border-left: 3px #aaa solid;
  62   margin-left: 1em;
  63   padding: 0 1em;
  64   color: #888;
  65 }