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