ksgi

1
html, body				{ margin: 0; 
2
					  padding: 0; }
3
body					{ color: #222; 
4
					  font-family: "Alegreya sans", sans-serif;  }
5
code, pre				{ font-size: 65%; }
6
pre					{ margin: 0; }
7
a					{ text-decoration: none; 
8
					  color: blue; }
9
strong, b				{ font-weight: 700; }
10
body > header				{ background-color: #333;
11
					  padding: 5rem 0 0 0;
12
					  color: #fff; }
13
body > header a				{ color: #dd5; }
14
body > header a:hover			{ color: #ff0; }
15
#breadcrumbs				{ font-size: 90%; }
16
#version ul				{ margin: auto 0; 
17
					  padding: 0;
18
					  list-style-type: none; }
19
#version nav li				{ margin: 0; }
20
#usage nav ul				{ list-style-type: none; 
21
					  padding: 0; }
22
#header					{ padding-top: 2em; }
23
#header nav				{ font-size: 90%;
24
					  padding: 2pt 0; 
25
					  display: -webkit-box;
26
					  display: -ms-flexbox;
27
				 	  display: flex; }
28
#header nav > *				{ padding: 4pt 0; }
29
#header nav > :last-child		{ -webkit-box-flex: 1;
30
				          -ms-flex: 1;
31
				              flex: 1;
32
					  text-align: right; }
33
#header nav > :last-child a		{ border: 3px solid rgba(255, 255, 50, 0.5);
34
					  border-radius: 4pt;
35
					  transition: border linear 0.2s;
36
					  padding: 4pt 8pt; }
37
#header nav > :last-child a:hover	{ border: 3px solid rgba(255, 255, 50, 0.9); }
38
#header nav .version			{ border-right: thin solid silver; 
39
					  color: #abc;
40
					  padding-right: 0.5rem;
41
					  margin-right: 0.5rem; }
42
#header nav .fa				{ font-size: 80%; }
43
#version				{ background-color: #eee; }
44
#version a, 
45
#version time, 
46
#version span.version			{ font-style: normal; }
47
#version div.content > div + div	{ margin-top: 1rem; }
48
#version nav .title			{ font-weight: 500; 
49
					  margin-bottom: 1em; }
50
#version .archive			{ text-align: center; }
51
h1					{ font-size: 175%; 
52
					  margin: 0;
53
					  line-height: 34pt;
54
					  font-weight: 400; }
55
.nm, .file				{ font-style: italic; }
56
h1 .nm					{ text-shadow: 1px 1px #666; 
57
					  font-style: inherit; }
58
h1 .nd					{ text-shadow: 1px 1px #333; }
59
#intro					{ font-size: 125%; }
60
#sample					{ color: #666; 
61
				  	  padding: 1rem 0;
62
					  background-color: #f6f6f6; }
63
#sample > input				{ display: none; }
64
#sample > input ~ nav label,
65
#sample > input ~ pre			{ max-height: 0;
66
					  display: block;
67
					  opacity: 0;
68
					  overflow: hidden; }
69
#sample > input ~ pre			{ transition: opacity 0.5s ease-in; }
70
#sample > input ~ nav label		{ cursor: pointer; }
71
#sample					{ text-align: left; }
72
#sample nav label			{ color: #44b; }
73
#sample nav				{ margin-bottom: 0.5rem; }
74
#sample .fa				{ font-size: 80%; }
75
#show-comments:checked ~ nav #label-nocomments,
76
#show-nocomments:checked ~ nav #label-comments,
77
#show-comments:checked ~ #comments,
78
#show-nocomments:checked ~ #nocomments	
79
					{ max-height: 1000em; 
80
					  opacity: 1; }
81
footer					{ margin-top: 1em; 
82
					  text-align: center;
83
					  font-size: smaller;
84
					  color: #666; }
85
footer a				{ color: #000; }
86
footer span				{ border-left: thin solid #ccc; 
87
					  padding-left: 1ex; }
88
footer div + div			{ margin-top: 0.5em; }
89
body > section h2			{ font-size: 120%; 
90
					  font-weight: 500; 
91
					  text-align: center;
92
					  font-variant: small-caps;
93
					  color: #333; }
94
body > section h3			{ font-size: inherit;
95
					  font-weight: inherit;
96
					  margin-bottom: 0.25ex;
97
					  color: #333; }
98
#version > div, body > section		{ padding: 1rem 0; }
99
figure figcaption			{ margin: 0.5em 0.2em; }
100
figure					{ margin: 0; 
101
					  text-align: center; 
102
					  color: #444; }
103
dd					{ margin: 0 0 1em 0; }
104
pre.prettyprint				{ border: none; 
105
					  line-height: 1.4em;
106
					  color: #333;
107
					  overflow: hidden;
108
					  width: auto; }
109
pre.prettyprint .cpp			{ color: rgb(150, 150, 255); }
110
pre.prettyprint .ident			{ color: rgb(0, 100, 0); }
111
pre.prettyprint .flow			{ color: rgb(200, 100, 0); }
112
pre.prettyprint .literal		{ color: rgb(100, 0, 0); }
113
footer					{ padding: 1ex;
114
					  margin-top: 1em;
115
					  margin-bottom: 1em; }
116
.flag					{ font-weight: 500; }
117
#mannav ul				{ display: grid;
118
					  font-size: 90%;
119
					  line-height: 1.3em;
120
					  grid-template-columns: auto auto auto; }
121

122
@media only screen and (max-width: 768px), only screen and (max-device-width: 768px) {
123
   h1					{ font-size: 125%;
124
	   				  line-height: 125%; }
125
   #intro				{ font-size: 100%; }
126
   figure img				{ display: block;
127
  					  max-width: 400px;
128
  					  margin-left: auto;
129
  					  margin-right: auto;
130
  					  width: 100%; }
131
#mannav ul				{ grid-template-columns: auto auto; }
132
}
133