1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
|
*
box-sizing: border-box
body, html
width: 100%
height: 100%
padding: 0
margin: 0
font-size: 100%
background: #29222E
color: #E0CEED
font-family: 'et-book', serif
h1, h2, h3, h4, h5, a[href]
color: #68d3a7
h1, h2, h3, h4, h5
font-family: sans-serif
h1
text-align: center
/* default */
body#default
overflow-x: hidden
nav
padding-top: 1em
padding-bottom: 1em
width: 100%
ul
padding: 0
margin: 0
width: 100%
display: flex
flex-direction: row
justify-content: center
list-style-type: none
li
padding-left: .5em
padding-right: .5em
text-transform: uppercase
font-family: sans-serif
font-size: 130%
font-weight: bold
a
text-decoration: none
header
text-align: center
img
text-align: center
border: 3px solid #68d3a7
border-radius: 50%
width: 125px
main
max-width: 550px
margin: auto
padding: 0em 1em 1em 1em
font-size: 130%
body#default main .code, code, pre, .inlinecode
font-family: 'Fira Code', monospace
font-size: 75%
body#default
main
/* coqdoc output */
div.code
white-space: nowrap
overflow-x: visible
.code a[href]
text-decoration: none
.paragraph
margin-top: 1em
margin-bottom: 1em
/* org-mode output */
.footpara
display: inline
margin-left: .2em
/* VCARD (index.html) */
body#vcard
display: flex
align-items: center
flex-direction: column
font-size: 125%
article
max-width: 400px
width: 80%
margin: auto
img
display: block
border: 3px solid #68d3a7
border-radius: 50%
width: 175px
margin: auto
margin-bottom: 3em
h1
color: #68d3a7
font-size: 300%
text-align: center
nav dt
font-weight: bold
a
color: #68d3a7
/* indexes */
.index
dt
font-weight: bold
color: #68d3a7
dd
margin-left: 0
margin-bottom: 1em
ol
margin-top: 0.3em
|