xref: /aosp_15_r20/external/llvm/docs/_ocamldoc/style.css (revision 9880d6810fe72a1726cb53787c6711e909410d58)
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