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
140
141
142
143
144
145
146
147
148
149
|
$bg-color: #fcfcfc
$fg-color: #333
$primary-color: black
*
box-sizing: border-box
body, html
width: 100%
height: 100%
padding: 0
margin: 0
font-size: 100%
background: $bg-color
color: $fg-color
font-family: 'et-book', serif
h1, h2, h3, h4, h5, a[href]
color: $primary-color
h1, h2, h3, h4, h5
font-family: sans-serif
h1
text-align: center
a[href] .url-mark
font-size: smaller;
padding-left: 0.2em
/* 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 $primary-color
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, tt
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
.fa-external-link
display: 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 $primary-color
border-radius: 50%
width: 175px
margin: auto
margin-bottom: 3em
h1
color: $primary-color
font-size: 300%
text-align: center
nav dt
font-weight: bold
a
color: $primary-color
/* indexes */
.index
dt
font-weight: bold
color: $primary-color
dd
margin-left: 0
margin-bottom: 1em
ol
margin-top: 0.3em
|