src/assets/stylesheet.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
118
119
120
121
122
123
124
125
126
127
128

:root
{
    --bg: #0a0a0a;
    --text: beige;
    --main: #0d0;
    --accent: #f0f;
}

@font-face
{
    font-family: ibm-xga;
    src: url(/assets/fonts/WebPlus_IBM_XGA-AI_12x20.woff);
}

@font-face
{
    font-family: texturina;
    src: url(/assets/fonts/Texturina-Regular.ttf);
    font-style: normal;
}

@font-face
{
    font-family: texturina;
    src: url(/assets/fonts/Texturina-Bold.ttf);
    font-weight: bold;
}

@font-face
{
    font-family: texturina;
    src: url(/assets/fonts/Texturina-Italic.ttf);
    font-style: italic;
}

.footpara
{
    display: inline;
}

/* i don't want to display the date but it needs to exist for rss generation */
#postamble
{
    visibility: hidden;
}

body
{
    background-color: var(--bg);
    color: var(--text);
    max-width: 960px;		/* 80 chars * width of 12 = 960px */
    margin: auto;
    font-family: texturina, serif;
    font-size: 1.2em;
}

h1
{
    font-size: 60px;
    text-align: center;
    font-family: ibm-xga, monospace;
}

h2
{
    font-size: 40px;
    font-family: ibm-xga, monospace;
}

.logo
{
    text-align: center;
    color: var(--main);
    user-select: none;
    margin: 0;
    padding: 0;
    font-family: ibm-xga, monospace;
    font-size: 20px;
}

.buttons
{
    display: grid;
    place-items: center;
}

.logo:hover
{
    color: var(--accent);
}

a
{
    color: var(--main);
}

a:hover
{
    color: var(--accent);
}

.footnum, .footref
{
    text-decoration: none;
}

.pages
{
    font-family: ibm-xga, monospace;
    font-size: 20px;
    text-align: center;
}

ul
{
    list-style-type: none;
}

ul li::before
{
    content: "\00a7  ";
}

hr
{
    border-color: var(--main);
    border-style: dashed;
}