blob: 5655a27e3edb8d3bc14f2f00c6dc0b52868e9a3d (
plain)
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
|
/* Some hopefully sensible defaults. */
html {
min-height: 100vh;
padding: 0;
margin: 0;
}
body {
background-image: url('/img/blue_abstract_triangles_1920x1200.jpg');
margin: 0em auto 0em auto;
max-width: 75em;
min-height: 100vh;
/*font: 1.2em/1.62em sans-serif;*/
font: 1em/1.4em sans-serif;
}
div.white {
background-image: url('/img/white_90.png');
min-height: 100vh;
}
div.figure {
text-align: center;
margin-top: 1em;
margin-bottom: 1em;
margin-left: 0.5em;
margin-right: 0.5em;
}
div.precontain {
text-align: center;
}
div.mathblock {
display: inline-block;
text-align: left;
background-color: #ffa5a5;
border-radius: 1.5em;
padding: 2em 2em 2em 2em;
margin: 1em 2em 1em 2em;
/* width should be equal to code and pre, but for some reason this needs 45em instead of 60em... bug? */
/* what are the default widths, margins, and paddings used in browsers anyway? */
width: 45em;
}
code {
display: inline-block;
text-align: left;
font-family: monospace;
white-space: pre;
background-color: #ceecf5;
border-radius: 1.5em;
/* top padding seems to start at 2em on most browsers for code blocks... bug? */
/* nonetheless, for the moment padding-top will be left as default */
padding-right: 2em;
padding-bottom: 2em;
padding-left: 2em;
/*padding: 2em 2em 2em 2em;*/
margin: 1em 2em 1em 2em;
width: 60em;
}
pre {
display: inline-block;
text-align: left;
background-color: #cef6ce;
border-radius: 1.5em;
/* similar to above padding-top issue */
padding-right: 2em;
padding-bottom: 2em;
padding-left: 2em;
/*padding: 2em 2em 2em 2em;*/
margin: 1em 2em 1em 2em;
width: 60em;
}
h2 {
margin-top: 0em;
margin-bottom: 0em;
padding: 1em 1em 1em 1em;
}
h4 {
padding-top: 2em;
padding-left: 1em;
}
h5 {
padding-top: 2em;
padding-left: 1em;
}
hr {
margin: 0em 1em 0em 1em;
}
p {
margin: 2em 1em 2em 1em;
}
a.external {
background: url("/img/external_link.png");
background-size: 1em 1em;
background-position: right;
background-repeat: no-repeat;
padding-right: 1.2em;
}
/* Display the navbar like a table to make it
horizontal and evenly spaced. */
div.nav ul {
display: table;
width: 100%;
margin: 0.5em auto 0.5em auto;
padding: 0;
}
div.nav ul li {
display: table-cell;
text-align: center;
margin: 0;
padding: 0;
width: 20%;
}
|
