doc/html/style.css

   1 html, body, div, span, applet, object, iframe,
   2 h1, h2, h3, h4, h5, h6, p, blockquote, pre,
   3 a, abbr, acronym, address, big, cite, code,
   4 del, dfn, em, img, ins, kbd, q, s, samp,
   5 small, strike, strong, sub, sup, tt, var,
   6 b, u, i, center,
   7 dl, dt, dd, ol, ul, li,
   8 fieldset, form, label, legend,
   9 table, caption, tbody, tfoot, thead, tr, th, td,
  10 article, aside, canvas, details, embed,
  11 figure, figcaption, footer, header, hgroup,
  12 menu, nav, output, ruby, section, summary,
  13 time, mark, audio, video {
  14   margin: 0;
  15   padding: 0;
  16   border: 0;
  17   font: inherit;
  18   vertical-align: baseline;
  19 }
  20
  21 body {
  22     font-family:"Helvetica Neue", Helvetica, Arial, sans-serif;
  23     margin: 0;
  24     line-height: 1.8em;
  25     -webkit-font-smoothing: antialiased;
  26     background: #CDC9C9;
  27 }
  28
  29 h1, h2, h3, h4, h5, h6 {
  30   color:#232323;
  31   margin:36px 0 10px;
  32 }
  33
  34 .head-ltitle, .head-rtitle, .head-vol {
  35     font: bold 0.8em Arial, Helvectia, sans-serif;
  36 }
  37
  38 .head-vol {
  39     visibility: hidden;
  40 }
  41
  42 .name {
  43     font: bold 0.8em Monospace, serif;
  44 }
  45
  46 .ftype {
  47     font: normal 1em Monospace, serif;
  48 }
  49
  50 h1 {
  51     color: #c30000;
  52     margin-top: 0.3em;
  53     margin-bottom: 0.3em;
  54     line-height: 1.3;
  55     font: normal 1.4em Arvo, Monaco, sans-serif;
  56         /*font: bold 1.4em Arial, Helvetica, sans-serif*/
  57 }
  58
  59 .section {
  60         margin-bottom: 1em;
  61         margin-top: 1em;
  62         padding-left: 1em;
  63         border-top: 1px #cccccc solid;
  64         font: normal 0.9em Arial, Helvetica, sans-serif;
  65         text-align: justify;
  66         border: 0;
  67         padding-bottom: 1em;
  68         border-bottom: 1px solid #f0e0e0;
  69 }
  70
  71 .list-tag {
  72     padding-left: 1em;
  73 }
  74
  75 pre {
  76     border: 1px dashed #ffffff;
  77     background: #ddd8d8;
  78 }
  79
  80 .flag {
  81     font: normal 1em Monospace, serif;
  82 }
  83
  84 a {
  85   color:#C30000;
  86   font-weight:200;
  87   text-decoration:none;
  88 }
  89
  90 a:hover {
  91         text-decoration: underline;
  92 }