www/index.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

html,body { margin: 0; font-family: sans-serif; }
#body { margin: 16px 10%; }
#body article { border-bottom: 1px solid #060606; }
#body article:last { border-bottom: none; }
#body table { border-collapse: collapse; border: 1px solid #aaa; }
#body table td, #body table th { border: 1px solid #aaa; padding: 2px 8px; } 
#body table tr:nth-child(even) { background-color: #eee; }
#body ul.compact { columns: 2; }

#body blockquote {
  background-color: #eee;
  border-radius: 2px;
  padding: 4px;
}

#body blockquote p {
  font-style: italic;
}

#body figure blockquote {
  margin: 0;
}

#header {
        background-color: #060606;
        color: #67ff79;
        border-bottom: 4px solid #23ed9b;
        line-height: 2em;
        margin: 0;
        padding: 8px 10%;
        display: flex;
        flex-direction: row;
        justify-content: space-between;
}
@media only screen and (max-width: 800px) {
  #header {
    flex-direction: column;
    align-items: center;
  }
}
#header > nav { flex: initial; }
#header > nav > a:link { color: #81b7ff }
#header > nav > a:visited { color: #cd78f4; }
#header > nav > a:focus, #header > nav > a:active, #header > nav > a:hover { color: #6005dd; }
#header > .title { flex: auto; font-family: monospace; font-size: 1.5em; }
#header > a.title:link, 
  #header > a.title:visited, 
  #header > a.title:hover,
  #header > a.title:focus,
  #header > a.title:active { 
  color:inherit; text-decoration: none; 
}
#footer {
  font-size: 0.75em;
  float:right;
}

article .footer {
  font-size: 0.75em;
  float:right;
}

.footnote {
  font-size: 0.75em;
}

code {
  font-family: monospace;
  background-color: #eee;
  padding: 4px 4px;
  border-radius: 5px 5px;
  display: inline-block;
}
code.inline {
  display: inline;
  padding: 2px 2px;
}

.scaled-half {
  display:inline;
}
.scaled-half > img {
  width: 25%;
  height: 25%;
}
.scaled-half:hover > img {
  width: auto;
  height: auto;
}


#tutorial { margin: 2% }