doc/html/style.css

   1 /* FIXME: This style.css was automatically generated by ocamldoc.
   2    FIXME: This should be customized. */
   3
   4 body {
   5     margin-left  : 5em;
   6     margin-right : 5em;
   7     padding-left : 5em;
   8     padding-right: 5em;
   9     border-left  : solid 1px;
  10     border-right : solid 1px;
  11     border-bottom: 0px;
  12 }
  13
  14 a:visited {
  15     color : #416DFF;
  16     text-decoration : none;
  17 }
  18 a:link {
  19     color : #416DFF;
  20         text-decoration : none;}
  21
  22 a:hover {
  23     color : Red;
  24          text-decoration : none;
  25          background-color: #5FFF88}
  26
  27 a:active {
  28     color : Red;
  29     text-decoration : underline;
  30 }
  31
  32 .keyword {
  33     font-weight : bold ;
  34     color : Black
  35 }
  36
  37 .keywordsign {
  38     color : #C04600
  39 }
  40
  41 .superscript {
  42     font-size : 4
  43 }
  44
  45 .subscript {
  46     font-size : 4
  47 }
  48
  49 .comment {
  50     color : Green
  51 }
  52
  53 .constructor {
  54     color : Blue
  55 }
  56
  57 .type {
  58     color : #5C6585
  59 }
  60
  61 .string {
  62     color : Maroon
  63 }
  64
  65 .warning {
  66     color : Red ;
  67     font-weight : bold
  68 }
  69 .info {
  70     margin-left : 0em;
  71     margin-right : 0em ;
  72     font-family : Verdana;
  73     font-style: italic
  74 }
  75
  76 .param_info {
  77     margin-top: 4px;
  78     margin-left : 3em;
  79     margin-right : 3em
  80 }
  81
  82 .code {
  83     color : #465F91 ;
  84 }
  85
  86 h1 {
  87     font-size : 30pt ;
  88     text-align: right;
  89     font-variant     : small-caps;
  90 }
  91
  92 h2 {
  93     font-size : 20pt ;
  94     border-bottom: 1px solid #000000;
  95     margin-top: 5px;
  96     margin-bottom: 2px;
  97     margin-left: 0px;
  98     margin-right: 0px;
  99     padding-left: 0px;
 100     padding-right: 0px;
 101     text-align: left;
 102     padding-top: 1em;
 103     font-variant     : small-caps;
 104 }
 105
 106 h3 { font-size : 20pt ;
 107      border: 1px solid #000000;
 108      margin-top: 5px;
 109      margin-bottom: 2px;t
 110      ext-align: center;
 111      background-color: #90DDFF ;p
 112      adding: 2px;
 113    }
 114
 115 h4 { font-size : 20pt ;
 116      border: 1px solid #000000;
 117      margin-top: 5px;
 118      margin-bottom: 2px;t
 119      ext-align: center;
 120      background-color: #90EDFF ;p
 121      adding: 2px;
 122    }
 123
 124 h5 { font-size : 20pt ;
 125      border: 1px solid #000000;
 126      margin-top: 5px;
 127      margin-bottom: 2px;t
 128      ext-align: center;
 129      background-color: #90FDFF ;p
 130      adding: 2px;
 131    }
 132
 133 h6 { font-size : 20pt ;
 134      border: 1px solid #000000;
 135      margin-top: 5px;
 136      margin-bottom: 2px;t
 137      ext-align: center;
 138      background-color: #C0FFFF ;
 139      padding: 2px;
 140    }
 141
 142 div.h7 { font-size : 20pt ;
 143          border: 1px solid #000000;
 144          margin-top: 5px;
 145          margin-bottom: 2px;t
 146          ext-align: center;
 147          background-color: #E0FFFF ;
 148          padding: 2px;
 149        }
 150
 151 div.h8 { font-size : 20pt ;
 152          border: 1px solid #000000;
 153          margin-top: 5px;
 154          margin-bottom: 2px;t
 155          ext-align: center;
 156          background-color: #F0FFFF ;
 157          padding: 2px;
 158        }
 159
 160 div.h9 { font-size : 20pt ;
 161          border: 1px solid #000000;
 162          margin-top: 5px;
 163          margin-bottom: 2px;t
 164          ext-align: center;
 165          background-color: #FFFFFF ;
 166          padding: 2px;
 167        }
 168
 169 .typetable { border-style : hidden }
 170
 171 .indextable { border-style : hidden }
 172
 173 .paramstable {
 174     border-style : hidden ;
 175     padding: 5pt 5pt
 176 }
 177
 178 tr {
 179     background-color : White
 180
 181 }
 182 td.typefieldcomment {
 183     background-color : #FFFFFF ;
 184     font-size: smaller ;
 185 }
 186
 187 pre {
 188     margin-bottom: 4px;
 189     margin-top: 2em;
 190     margin-left: 0em;
 191     font-size: 11pt;
 192 }
 193
 194 div.sig_block {
 195     margin-left: 2em
 196 }