ksgi

1
html, body				{ margin: 0; 
2
					  padding: 0; }
3
body					{ color: #333; 
4
					  font-family: "Alegreya sans", sans-serif; 
5
					  font-weight: 400;
6
					  line-height: 1.3em;
7
					  font-size: 14pt; }
8
a					{ text-decoration: none; }
9
strong, b				{ font-weight: 700; }
10
code, pre				{ font-size: 65%; }
11
body > header				{ background-color: #333; 
12
					  padding: 2rem 0 0 0;
13
					  color: #fff; }
14
body > header > section			{ width: 66rem;
15
					  max-width: 98%;
16
					  margin: 0 auto; }
17
#header a				{ color: #dd5; }
18
#header a:hover				{ color: #ff0; }
19
#header nav				{ padding: 0.5rem 0;
20
				 	  font-size: 90%; }
21
#header nav .version			{ border-right: thin solid silver; 
22
					  color: #abc;
23
					  margin-right: 0.5rem;
24
					  padding-right: 0.5rem; }
25
h1					{ font-size: 175%; 
26
					  margin: 0;
27
					  font-weight: 400; }
28
.nm, .file				{ font-style: italic; }
29
h1 .nm					{ text-shadow: 1px 1px #666; 
30
					  font-style: inherit; }
31
h1 .nd					{ text-shadow: 1px 1px #333; }
32
footer					{ margin-top: 1em; 
33
					  text-align: center;
34
					  font-size: 12pt;
35
					  color: #666; }
36
footer a				{ color: #000; }
37
footer span				{ border-left: thin solid #ccc; 
38
					  padding-left: 1ex; }
39
footer					{ padding: 1ex;
40
					  margin-top: 1em;
41
					  margin-bottom: 1em; }
42
.flag					{ font-weight: 500; }
43
#functions, #archive			{ width: 66rem;
44
					  max-width: 98%;
45
					  margin-left: auto;
46
					  margin-right: auto; }
47
#archive .fa				{ font-size: 80%; }
48
#archive li:first-child			{ color: #000;
49
					  margin-bottom: 3rem; }
50
#archive li + li			{ margin-top: 2rem;
51
					  opacity: 0.6; }
52
#archive div.content > div + div	{ margin-top: 1rem; }
53
#archive ul				{ list-style-type: none;
54
					  padding: 0;
55
					  margin: 2em 0; }
56
#archive .title				{ display: flex;
57
					  border-bottom: thin solid #eee;
58
					  margin-bottom: 1rem; }
59
#archive .title > :last-child		{ flex: 1; 
60
					  font-size: 12pt;
61
					  text-align: right; }
62
#functions ul				{ margin-left: 0; 
63
					  padding-left: 0; }
64
#functions dd + dt			{ margin-top: 12pt; }
65

66
@media only screen and (max-width: 768px), only screen and (max-device-width: 768px) {
67
  h1					{ font-size: 125%;
68
	  				  line-height: 125%; }
69
}
70