static/style.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
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

:root { /* default theme (light) */
  --fg: #333;
  --bg: #f4f0f0;
  --subtitle: #777;
  --pre-fg: #111;
  --pre-bg: #eaeaea;
  --border1: #ccc;
  --code-bg: #e8e8e8;
  --border2: #999;
}

@media (prefers-color-scheme: dark) {
  :root {
    --fg: #fff;
    --bg: #221e1f;
    --subtitle: #888;
    --pre-fg: #eaeaea;
    --pre-bg: #262327;
    --border1: #444;
    --code-bg: #222;
    --border2: #555;
  }
}

body {
  margin: auto;
  max-width: 820px;
  line-height: 1.6;
  font-family: Serif;
  padding: 0 10px;
  font-size: 18px;
  color: var(--fg);
  background: var(--bg);
}

p {
  text-align: justify;
}

nav.navbar {
  padding-top: 10px;
}

nav.navbar > a {
  padding: 1px 20px;
  background: var(--pre-bg);
  border: 1px solid var(--border1);
  border-radius: 6px;
}

h1.title {
  line-height: 1.2;
  font-size: 40px;
}

h1 {
  line-height: 1.2;
  font-size: 26px;
}

h2 {
  line-height: 1.2;
  font-size: 21px;
}

p.subtitle {
  font-size: 16px;
  color: var(--subtitle);
}

pre {
  padding: 8px 8px 8px 8px;
  border-radius: 3px;
  border: 1px solid var(--border1);
  font-size: 14px;
  overflow-x: auto;
  background: var(--pre-bg);
  color: var(--pre-fg);
}

pre > code {
  background: var(--pre-bg);
  font-size: 14px;
  border: none;
  padding: 0px;
}

code  {
  background: var(--code-bg);
  border: 1px solid var(--border1);
  font-size: 14px;
  border-radius: 3px;
  padding: 2px 2px;
}

a {
  color: #d53c54;/*#e77850;*/
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
  text-decoration-style: dotted;
}

td,th {
  vertical-align:top;
  padding: 5px 5px 5px;
  text-align:center;
  border: solid 1px var(--border2);
}

table { 
  border: solid 1px var(--border1);
  background: var(--code-bg);
  font-size: 15px;
}