src/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

body {
    margin: 40px auto;
    max-width: 800px;
    line-height: 1.6;
    font-size: 18px;
    padding: 0 10px;
}

a {
    color: darkblue;
    text-decoration: none;
}

a:hover {
    color: #55f;
}

ul {
    list-style-type: '—';
}

li {
    margin-top: 10px;
    margin-bottom: 10px;
    padding-left: 0.7em;
}

h1, h2, h3 {
    line-height: 1.2
}

ul.links {
    list-style-type: none;
    display: flex;
    align-items: stretch;
    justify-content: space-evenly;
}

.links li {
    margin-top: 0px;
    margin-bottom: 0px;
}

.post-footer {
    font-size: 16px;
    color: #444;
    margin-left: auto;
    margin-right: auto;
    width: 80%;
}

pre {
    overflow: scroll;
}

/* note stuff */
.note {
  position: relative;
  vertical-align: baseline;
}

.note-content {
  display: none;
  position: absolute;
  border: 1px solid black;
  word-wrap: break-word;
  background-color: white;
  font-size: 14px;
  min-width: 30em;
  left: 1em;
  bottom: 0px;
}

.foot-down a {
    position: relative;
    z-index: 1;
    padding: 10px;
    margin: -10px;
}
#display {
    display: block;
}
.cell {
    display: table-cell;
    font-style: monospace;
    width: 20;
    height: 20;
}