Skip to content

Commit 541e59e

Browse files
CohenCyrilCohenCyril
authored
Merge pull request #15 from math-comp/doc_1_10_0
htmldoc regenerated for release 1.10.0
2 parents aebff2b + abe3e77 commit 541e59e

File tree

501 files changed

+435830
-21
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

501 files changed

+435830
-21
lines changed

‎htmldoc_1_10_0/coqdoc.css‎

Lines changed: 332 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,332 @@
1+
body { padding: 0px 0px;
2+
margin: 0px 0px;
3+
background-color: white }
4+
5+
#page { display: block;
6+
padding: 0px;
7+
margin: 0px;
8+
padding-bottom: 10px; }
9+
10+
#header { display: block;
11+
position: relative;
12+
padding: 0;
13+
margin: 0;
14+
vertical-align: middle;
15+
border-bottom-style: solid;
16+
border-width: thin }
17+
18+
#header h1 { padding: 0;
19+
margin: 0;}
20+
21+
22+
/* Contents */
23+
24+
#main{ display: block;
25+
padding: 10px;
26+
font-family: sans-serif;
27+
font-size: 100%;
28+
line-height: 100% }
29+
30+
#main h1 { line-height: 95% } /* allow for multi-line headers */
31+
32+
#main a.idref:visited {color : #416DFF; text-decoration : none; }
33+
#main a.idref:link {color : #416DFF; text-decoration : none; }
34+
#main a.idref:hover {text-decoration : none; }
35+
#main a.idref:active {text-decoration : none; }
36+
37+
#main a.modref:visited {color : #416DFF; text-decoration : none; }
38+
#main a.modref:link {color : #416DFF; text-decoration : none; }
39+
#main a.modref:hover {text-decoration : none; }
40+
#main a.modref:active {text-decoration : none; }
41+
42+
#main .keyword { color : #cf1d1d }
43+
#main { color: black }
44+
45+
.section { background-color: rgb(60%,60%,100%);
46+
padding-top: 13px;
47+
padding-bottom: 13px;
48+
padding-left: 3px;
49+
margin-top: 5px;
50+
margin-bottom: 5px;
51+
font-size : 110% }
52+
53+
h2.section { background-color: rgb(80%,80%,100%);
54+
padding-left: 3px;
55+
padding-top: 12px;
56+
padding-bottom: 10px;
57+
font-size : 110% }
58+
59+
h3.section { background-color: rgb(90%,90%,100%);
60+
padding-left: 3px;
61+
padding-top: 7px;
62+
padding-bottom: 7px;
63+
font-size : 110% }
64+
65+
h4.section {
66+
/*
67+
background-color: rgb(80%,80%,80%);
68+
max-width: 20em;
69+
padding-left: 5px;
70+
padding-top: 5px;
71+
padding-bottom: 5px;
72+
*/
73+
background-color: white;
74+
padding-left: 0px;
75+
padding-top: 0px;
76+
padding-bottom: 0px;
77+
font-size : 100%;
78+
font-style : bold;
79+
text-decoration : underline;
80+
}
81+
82+
#main .doc { margin: 0px;
83+
font-family: courier;
84+
font-size: 100%;
85+
line-height: 125%;
86+
max-width: 50em;
87+
color: black;
88+
padding: 10px;
89+
background-color: #90bdff;
90+
border-style: plain;
91+
white-space: pre;
92+
}
93+
94+
.inlinecode {
95+
display: inline;
96+
/* font-size: 125%; */
97+
color: #666666;
98+
font-family: monospace }
99+
100+
.doc .inlinecode {
101+
display: inline;
102+
font-size: 120%;
103+
color: rgb(30%,30%,70%);
104+
font-family: monospace }
105+
106+
.doc .inlinecode .id {
107+
color: rgb(30%,30%,70%);
108+
}
109+
110+
.inlinecodenm {
111+
display: inline;
112+
color: #444444;
113+
}
114+
115+
.doc .code {
116+
display: inline;
117+
font-size: 120%;
118+
color: rgb(30%,30%,70%);
119+
font-family: monospace }
120+
121+
.comment {
122+
display: inline;
123+
font-family: monospace;
124+
color: #cf1d1d
125+
}
126+
127+
.code {
128+
display: block;
129+
/* padding-left: 15px; */
130+
font-size: 110%;
131+
font-family: monospace;
132+
}
133+
134+
table.infrule {
135+
border: 0px;
136+
margin-left: 50px;
137+
margin-top: 10px;
138+
margin-bottom: 10px;
139+
}
140+
141+
td.infrule {
142+
font-family: monospace;
143+
text-align: center;
144+
/* color: rgb(35%,35%,70%); */
145+
padding: 0px;
146+
line-height: 100%;
147+
}
148+
149+
tr.infrulemiddle hr {
150+
margin: 1px 0 1px 0;
151+
}
152+
153+
.infrulenamecol {
154+
color: rgb(60%,60%,60%);
155+
font-size: 80%;
156+
padding-left: 1em;
157+
padding-bottom: 0.1em
158+
}
159+
160+
/* Pied de page */
161+
162+
#footer { font-size: 65%;
163+
font-family: sans-serif; }
164+
165+
/* Identifiers: <span class="id" title="...">) */
166+
167+
.id { display: inline; }
168+
169+
.id[title="constructor"] {
170+
color: rgb(60%,0%,0%);
171+
}
172+
173+
.id[title="var"] {
174+
color: rgb(40%,0%,40%);
175+
}
176+
177+
.id[title="variable"] {
178+
color: rgb(40%,0%,40%);
179+
}
180+
181+
.id[title="definition"] {
182+
color: rgb(0%,40%,0%);
183+
}
184+
185+
.id[title="abbreviation"] {
186+
color: rgb(0%,40%,0%);
187+
}
188+
189+
.id[title="lemma"] {
190+
color: rgb(0%,40%,0%);
191+
}
192+
193+
.id[title="instance"] {
194+
color: rgb(0%,40%,0%);
195+
}
196+
197+
.id[title="projection"] {
198+
color: rgb(0%,40%,0%);
199+
}
200+
201+
.id[title="method"] {
202+
color: rgb(0%,40%,0%);
203+
}
204+
205+
.id[title="inductive"] {
206+
color: rgb(0%,0%,80%);
207+
}
208+
209+
.id[title="record"] {
210+
color: rgb(0%,0%,80%);
211+
}
212+
213+
.id[title="class"] {
214+
color: rgb(0%,0%,80%);
215+
}
216+
217+
.id[title="keyword"] {
218+
color : #cf1d1d;
219+
/* color: black; */
220+
}
221+
222+
/* Deprecated rules using the 'type' attribute of <span> (not xhtml valid) */
223+
224+
.id[type="constructor"] {
225+
color: rgb(60%,0%,0%);
226+
}
227+
228+
.id[type="var"] {
229+
color: rgb(40%,0%,40%);
230+
}
231+
232+
.id[type="variable"] {
233+
color: rgb(40%,0%,40%);
234+
}
235+
236+
.id[type="definition"] {
237+
color: rgb(0%,40%,0%);
238+
}
239+
240+
.id[type="abbreviation"] {
241+
color: rgb(0%,40%,0%);
242+
}
243+
244+
.id[type="lemma"] {
245+
color: rgb(0%,40%,0%);
246+
}
247+
248+
.id[type="instance"] {
249+
color: rgb(0%,40%,0%);
250+
}
251+
252+
.id[type="projection"] {
253+
color: rgb(0%,40%,0%);
254+
}
255+
256+
.id[type="method"] {
257+
color: rgb(0%,40%,0%);
258+
}
259+
260+
.id[type="inductive"] {
261+
color: rgb(0%,0%,80%);
262+
}
263+
264+
.id[type="record"] {
265+
color: rgb(0%,0%,80%);
266+
}
267+
268+
.id[type="class"] {
269+
color: rgb(0%,0%,80%);
270+
}
271+
272+
.id[type="keyword"] {
273+
color : #cf1d1d;
274+
/* color: black; */
275+
}
276+
277+
.inlinecode .id {
278+
color: rgb(0%,0%,0%);
279+
}
280+
281+
282+
/* TOC */
283+
284+
#toc h2 {
285+
padding: 10px;
286+
background-color: rgb(60%,60%,100%);
287+
}
288+
289+
#toc li {
290+
padding-bottom: 8px;
291+
}
292+
293+
/* Index */
294+
295+
#index {
296+
margin: 0;
297+
padding: 0;
298+
width: 100%;
299+
}
300+
301+
#index #frontispiece {
302+
margin: 1em auto;
303+
padding: 1em;
304+
width: 60%;
305+
}
306+
307+
.booktitle { font-size : 140% }
308+
.authors { font-size : 90%;
309+
line-height: 115%; }
310+
.moreauthors { font-size : 60% }
311+
312+
#index #entrance {
313+
text-align: center;
314+
}
315+
316+
#index #entrance .spacer {
317+
margin: 0 30px 0 30px;
318+
}
319+
320+
#index #footer {
321+
position: absolute;
322+
bottom: 0;
323+
}
324+
325+
.paragraph {
326+
height: 0.75em;
327+
}
328+
329+
ul.doclist {
330+
margin-top: 0em;
331+
margin-bottom: 0em;
332+
}

0 commit comments

Comments
 (0)