forked from
gazagnaire.org/ocaml-crypto
upstream: https://github.com/mirage/mirage-crypto
ignore api.odocl
+21
-22
+1
.gitignore
+1
.gitignore
+1
-1
Makefile
+1
-1
Makefile
···
27
27
distclean: setup.ml
28
28
$(SETUP) -distclean $(DISTCLEANFLAGS)
29
29
rm -f myocamlbuild.ml setup.ml _tags
30
-
rm -f */META */*.mllib */*.mldylib */*.clib
30
+
rm -f */META */*.mllib */*.mldylib */*.clib */api.odocl
31
31
32
32
setup.data: setup.ml
33
33
$(SETUP) -configure $(CONFIGUREFLAGS)
-7
doc/api.odocl
-7
doc/api.odocl
+19
-14
doc/style.css
+19
-14
doc/style.css
···
1
-
/* A style for ocamldoc. Daniel C. Buenzli */
1
+
/* A style for ocamldoc. Daniel C. Buenzli. Frills by hamsters. */
2
2
3
3
/* Reset a few things. */
4
4
html,body,div,span,applet,object,iframe,h1,h2,h3,h4,h5,h6,p,blockquote,pre,
5
5
a,abbr,acronym,address,big,cite,code,del,dfn,em,font,img,ins,kbd,q,s,samp,
6
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;
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
10
line-height: inherit; vertical-align: baseline; text-align:inherit;
11
11
color:inherit; background: transparent; }
12
12
···
19
19
color: black; background: white /* url(line-height-22.gif) */; }
20
20
21
21
b { font-weight: bold }
22
-
em { font-style: italic }
22
+
em { font-style: italic }
23
23
24
-
tt, code, pre { font-family: WorkAroundWebKitAndMozilla, monospace;
24
+
tt, code, pre { font-family: WorkAroundWebKitAndMozilla, monospace;
25
25
font-size: 1em; }
26
26
pre code { font-size : inherit; }
27
-
.codepre { margin-bottom:1.375em /* after code example we introduce space. */ }
27
+
.codepre { margin-bottom:1.375em /* after code example we introduce space. */ }
28
+
29
+
pre { padding: 5px; }
30
+
code.code, pre.codepre, pre.verbatim { background-color: #f7f7f7; border-radius: 3px; }
31
+
code.code { font-size: 95%; padding: 0.1em 0.2em; }
32
+
pre.codepre code.code { padding: 0; }
33
+
28
34
29
-
.superscript,.subscript
35
+
.superscript,.subscript
30
36
{ font-size : 0.813em; line-height:0; margin-left:0.4ex;}
31
37
.superscript { vertical-align: super; }
32
38
.subscript { vertical-align: sub; }
···
47
53
48
54
/* .navbar { margin-bottom: -1.375em } */
49
55
h1 { font-weight: bold; font-size: 1.5em; /* margin-top:1.833em; */
50
-
margin-top:0.917em; padding-top:0.875em;
56
+
margin-top:0.917em; padding-top:0.875em;
51
57
border-top-style:solid; border-width:1px; border-color:#AAA; }
52
58
h2 { font-weight: bold; font-size: 1.313em; margin-top: 1.048em }
53
59
h3 { font-weight: bold; font-size: 1.125em; margin-top: 1.222em }
···
63
69
.info { margin: 0.458em 0em -0.458em 2em;}/* Description of types values etc. */
64
70
td .info { margin:0; padding:0; margin-left: 2em;} /* Description in indexes */
65
71
66
-
ul, ol { margin-top:0.688em; padding-bottom:0.687em;
72
+
ul, ol { margin-top:0.688em; padding-bottom:0.687em;
67
73
list-style-position:outside}
68
74
ul + p, ol + p { margin-top: 0em }
69
75
ul { list-style-type: square }
···
74
80
ol > li { margin-left: 1.7em; }
75
81
/* Links */
76
82
77
-
a, a:link, a:visited, a:active, a:hover { color : #00B; text-decoration: none }
78
-
a:hover { text-decoration : underline }
83
+
a, a:* { text-decoration: underline }
79
84
*:target {background-color: #FFFF99;} /* anchor highlight */
80
85
81
86
/* Code */
···
83
88
.keyword { font-weight: bold; }
84
89
.comment { color : red }
85
90
.constructor { color : green }
86
-
.string { color : brown }
91
+
.string { color : #957; }
87
92
.warning { color : red ; font-weight : bold }
88
93
89
94
/* Functors */
90
95
91
-
.paramstable { border-style : hidden ; padding-bottom:1.375em}
96
+
.paramstable { border-style : hidden ; padding-bottom:1.375em}
92
97
.paramstable code { margin-left: 1ex; margin-right: 1ex }
93
98
.sig_block {margin-left: 1em}
94
99