templates/add.css


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

body {
	margin: 0.5em;
	font-size: 100%;
}


h1 { color: #a54242; }
h2 { color: #8c9440; }
h3 { color: #5f819d; }

p {
	max-width: 60ex;
	text-align: justify;
}

table {
	border-collapse: collapse;
}

tr:nth-child(odd) {
	background-color: #f0f0f0;
}

/* ---------------------------------------- */

div[id='Top Heading'] + ul {
	width: 120%;
}

div[id='Top Heading'] + ul li {
	display: inline-block;
	width: 10em;
}

.side {
	display: flex;
	justify-content: space-around;
}

.side > * {
	margin: auto 0 auto 0;
}

/* ---------------------------------------- */

footer {
	font-size: 80%;
	color: gray;
}

.toc + ul {
    height: 100vh;
    position: fixed;
    top: 0;
    right: 1em;
    width: 20%;
}

.toc {
	display: none;
}

.content {
    width: 75%;
	margin-top: -3em;
}

pre.right {
	float: right;
}

li > .tag {
	float: right;
}