OCaml/Pervasives_files/style.css

   1 a:visited {color : #416DFF; text-decoration : none; }
   2 a:link {color : #416DFF; text-decoration : none;}
   3 a:hover {color : Red; text-decoration : none; background-color: #5FFF88}
   4 a:active {color : Red; text-decoration : underline; }
   5 .keyword { font-weight : bold ; color : Red }
   6 .keywordsign { color : #C04600 }
   7 .superscript { font-size : 4 }
   8 .subscript { font-size : 4 }
   9 .comment { color : Green }
  10 .constructor { color : Blue }
  11 .type { color : #5C6585 }
  12 .string { color : Maroon }
  13 .warning { color : Red ; font-weight : bold }
  14 .info { margin-left : 3em; margin-right : 3em }
  15 .code { color : #465F91 ; }
  16 h1 { font-size : 20pt ; text-align: center; }
  17 h2 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90BDFF ;padding: 2px; }
  18 h3 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90DDFF ;padding: 2px; }
  19 h4 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90EDFF ;padding: 2px; }
  20 h5 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90FDFF ;padding: 2px; }
  21 h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90BDFF ; padding: 2px; }
  22 div.h7 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90DDFF ; padding: 2px; }
  23 div.h8 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #F0FFFF ; padding: 2px; }
  24 div.h9 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #FFFFFF ; padding: 2px; }
  25 .typetable { border-style : hidden }
  26 .indextable { border-style : hidden }
  27 .paramstable { border-style : hidden ; padding: 5pt 5pt}
  28 body { background-color : White }
  29 tr { background-color : White }
  30 td.typefieldcomment { background-color : #FFFFFF }
  31 pre { margin-bottom: 4px }
  32 div.sig_block {margin-left: 2em}