doc/style.css

   1 body {
   2         background: white no-repeat fixed;
   3         color: black;
   4 }
   5
   6 h1, h2, h3 {
   7         font-family: Verdana;
   8 }
   9
  10 p {
  11         text-align: justify;
  12 }
  13
  14 body > div {
  15         width: 60em;
  16         margin: auto;
  17         margin-top: 64px;
  18         margin-bottom: 64px;
  19         #background: #d0e0ff;
  20         background: rgba(208,224,255,0.9);
  21         padding-top: 16px;
  22         padding-bottom: 16px;
  23 }
  24
  25 img#logo {
  26         #display: block;
  27     #margin-left: auto;
  28     #margin-right: auto;
  29         #position: relative;
  30         #top: -40px;
  31         position:absolute;
  32         top: 4px;
  33 }
  34
  35 body > div > h1 {
  36         text-align:center;
  37 }
  38
  39 body > div > div {
  40         width: 90%;
  41         margin: auto;
  42 }
  43
  44 div#motto {
  45         text-align: right;
  46         font-style: italic;
  47         font-size: larger;
  48     margin-bottom: 28pt;
  49 }
  50
  51 div#abstract {
  52     letter-spacing: 0.06em;
  53     #font-size: larger;
  54     font-style: italic;
  55     font-family: Georgia;
  56 }
  57
  58 div.fold>h2, div.fold>h3, div.fold>h4 {
  59         text-decoration: underline;
  60         cursor: pointer;
  61 }
  62
  63 div.fold > p, div.fold > ul, div.fold > div {
  64         display: none;
  65 }