Home | History | Annotate | Download | only in _ocamldoc
      1 /* A style for ocamldoc. Daniel C. Buenzli */
      2 
      3 /* Reset a few things. */
      4 html,body,div,span,applet,object,iframe,h1,h2,h3,h4,h5,h6,p,blockquote,pre,
      5 a,abbr,acronym,address,big,cite,code,del,dfn,em,font,img,ins,kbd,q,s,samp,
      6 small,strike,strong,sub,sup,tt,var,b,u,i,center,dl,dt,dd,ol,ul,li,fieldset,
      7 form,label,legend,table,caption,tbody,tfoot,thead,tr,th,td
      8 { margin: 0; padding: 0; border: 0 none; outline: 0; font-size: 100%;
      9   font-weight: inherit; font-style:inherit; font-family:inherit;
     10   line-height: inherit; vertical-align: baseline; text-align:inherit;
     11   color:inherit; background: transparent; }
     12 
     13 table { border-collapse: collapse; border-spacing: 0; }
     14 
     15 /* Basic page layout */
     16 
     17 body { font: normal 10pt/1.375em helvetica, arial, sans-serif; text-align:left;
     18        margin: 1.375em 10%; min-width: 40ex; max-width: 72ex;
     19        color: black; background: transparent /* url(line-height-22.gif) */; }
     20 
     21 b { font-weight: bold }
     22 em { font-style: italic }
     23 
     24 tt, code, pre { font-family: WorkAroundWebKitAndMozilla, monospace;
     25                 font-size: 1em; }
     26 pre code { font-size : inherit; }
     27 .codepre { margin-bottom:1.375em /* after code example we introduce space. */ }
     28 
     29 .superscript,.subscript
     30 { font-size : 0.813em; line-height:0; margin-left:0.4ex;}
     31 .superscript { vertical-align: super; }
     32 .subscript { vertical-align: sub; }
     33 
     34 /* ocamldoc markup workaround hacks */
     35 
     36 
     37 
     38 hr, hr + br, div + br, center + br, span + br, ul + br, ol + br, pre + br
     39 { display: none } /* annoying */
     40 
     41 div.info + br { display:block}
     42 
     43 .codepre br + br { display: none }
     44 h1 + pre { margin-bottom:1.375em} /* Toplevel module description */
     45 
     46 /* Sections and document divisions */
     47 
     48 /* .navbar { margin-bottom: -1.375em } */
     49 h1 { font-weight: bold; font-size: 1.5em; /* margin-top:1.833em; */
     50      margin-top:0.917em; padding-top:0.875em;
     51      border-top-style:solid; border-width:1px; border-color:#AAA; }
     52 h2 { font-weight: bold; font-size: 1.313em; margin-top: 1.048em }
     53 h3 { font-weight: bold; font-size: 1.125em; margin-top: 1.222em }
     54 h3 { font-weight: bold; font-size: 1em; margin-top: 1.375em}
     55 h4 { font-style: italic;  }
     56 
     57 /* Used by OCaml's own library documentation. */
     58  h6 { font-weight: bold; font-size: 1.125em; margin-top: 1.222em }
     59  .h7 { font-weight: bold; font-size: 1em; margin-top: 1.375em }
     60 
     61 p { margin-top: 1.375em }
     62 pre { margin-top: 1.375em }
     63 .info { margin: 0.458em 0em -0.458em 2em;}/* Description of types values etc. */
     64 td .info { margin:0; padding:0; margin-left: 2em;} /* Description in indexes */
     65 
     66 ul, ol { margin-top:0.688em; padding-bottom:0.687em;
     67    list-style-position:outside}
     68 ul + p, ol + p { margin-top: 0em }
     69 ul { list-style-type: square }
     70 
     71 
     72 /* h2 + ul, h3 + ul, p + ul { } */
     73 ul > li { margin-left: 1.375em; }
     74 ol > li { margin-left: 1.7em; }
     75 /* Links */
     76 
     77 a, a:link, a:visited, a:active, a:hover { color : #00B; text-decoration: none }
     78 a:hover { text-decoration : underline }
     79 *:target {background-color: #FFFF99;} /* anchor highlight */
     80 
     81 /* Code */
     82 
     83 .keyword { font-weight: bold; }
     84 .comment { color : red }
     85 .constructor { color : green }
     86 .string { color : brown }
     87 .warning { color : red ; font-weight : bold }
     88 
     89 /* Functors */
     90 
     91 .paramstable { border-style : hidden ; padding-bottom:1.375em}
     92 .paramstable code { margin-left: 1ex; margin-right: 1ex }
     93 .sig_block {margin-left: 1em}
     94 
     95 /* Images */
     96 
     97 img { margin-top: 1.375em }
     98