1/* main */
  2body {
  3    background-color: #000;
  4    margin: 0;
  5}
  6
  7article {
  8    background-color: #fffff0;
  9}
 10
 11nav, main, footer div {
 12    max-width: 720px;
 13    margin: 0 auto;
 14}
 15
 16main {
 17    padding: 10px 20px;
 18    border-radius: 4px;
 19    background-color: #fffff7;
 20    box-shadow: 0 0 10px #eee;
 21}
 22
 23/* navigation */
 24nav.sections {
 25    padding-top: 20px;
 26    display: block;
 27}
 28
 29nav.sections ul {
 30    list-style-type: none;
 31    margin: 0;
 32    padding: 0;
 33    margin-bottom: 8px;
 34}
 35
 36nav.sections li {
 37    font-family: "Palatino Linotype", "Book Antiqua", Palatino, serif;
 38    display: inline;
 39    margin: 0 -2px;
 40    font-size: 1.3em;
 41}
 42
 43nav.sections a {
 44    color: #787878;
 45    border-bottom: solid 2px #A8A8A8;
 46    padding: 0 16px;
 47}
 48
 49nav.sections a.selected, nav.sections a:hover {
 50    color: #000000;
 51    border-bottom: solid 2px #444444;
 52}
 53
 54/* footer */
 55footer {
 56    margin-top: 32px;
 57    min-height: 64px;
 58    background: linear-gradient(#fffff0, #ccccc0);
 59}
 60
 61footer p {
 62    font-style: italic;
 63    color: #666;
 64    font-family: serif;
 65}
 66
 67footer img {
 68    display: inline-block;
 69    vertical-align: middle;
 70}
 71
 72.abyss {
 73    text-align: center;
 74}
 75
 76/* headers */
 77h1, h2 {
 78    font-family: "Palatino Linotype", "Book Antiqua", Palatino, serif;
 79    font-size: 200%;
 80    font-weight: lighter;
 81    text-transform: capitalize;
 82    padding-bottom: 10px;
 83    border-bottom: 1px solid #000;
 84    text-align: center;
 85}
 86
 87h1.title {
 88    text-align: center;
 89    font-family: serif;
 90    font-size: 2.5em;
 91    font-weight: lighter;
 92    font-variant-caps: small-caps;
 93    border-bottom: 4px double #000;
 94}
 95
 96h3 {
 97    font-family: "Palatino Linotype", "Book Antiqua", Palatino, serif;
 98    font-size: larger;
 99    font-weight: lighter;
100    text-decoration: underline;
101}
102
103h1:not(.title):hover .anchor, h2:hover .anchor, h3:hover .anchor, h4:hover .anchor, h5:hover .anchor, h6:hover .anchor {
104    opacity: 1;
105}
106
107.anchor {
108    float: left;
109    padding-right: 0.4ch;
110    margin-left: -1.3ch;
111    opacity: 0;
112    transition: opacity 150ms;
113}
114
115/* body */
116p, li, dl, summary {
117    font-family: Tahoma, Geneva, sans-serif;
118    font-size: 1.1em;
119    line-height: 1.5;
120}
121
122img {
123    max-width: 100%;
124}
125
126.dim {
127    color: #999;
128    font-size: smaller;
129}
130
131a {
132    text-decoration: none;
133    color: #f74c00;
134    border-bottom: 0 dashed rgba(0, 0, 0, 0);
135    transition: color 300ms, border-bottom 300ms;
136}
137
138a:hover {
139    color: #e33b26;
140    border-bottom: 1px solid #e33b26;
141}
142
143blockquote {
144    border-left: 4px solid #000;
145    padding-left: 8px;
146    font-style: italic;
147    color: #444;
148}
149
150.footnote-definition:target {
151    background-color: rgba(255, 255, 0, 0.2);
152}
153
154dl img {
155    margin-bottom: -0.4em;
156    margin-right: 0.6em;
157}
158
159dd {
160    margin-bottom: 1em;
161}
162
163div.time {
164    text-align: right;
165    font-style: italic;
166    color: #777;
167    font-size: 0.9em;
168}
169
170div.time p {
171    line-height: 0.5;
172}
173
174hr {
175    border: 0;
176    border-bottom: 2px dashed #aaa;
177}
178
179/* code */
180pre {
181    background-color: #eee;
182    padding: 4px;
183    overflow: auto;
184    max-height: 480px;
185}
186
187kbd {
188    padding: 3px 5px;
189    font: 0.9em monospace;
190    color: #333;
191    background-color: #fafafa;
192    border: 1px solid #ddd;
193    border-radius: 4px;
194    box-shadow: 0 2px 0 #ddd;
195}
196
197/* tables */
198table {
199    border-collapse: collapse;
200}
201
202th {
203    background-color: #f7f7e8;
204}
205
206th, td {
207    padding: 0.5em;
208    border: 1px solid #aaa;
209}
210
211tr:nth-child(even) {
212    background-color: #f7f7e8;
213}
214
215/* graphs post */
216div.matrix table {
217    border-width: 0 2pt 0 2pt;
218    border-style: solid;
219    border-color: #000;
220}
221
222/* poor man's matrix */
223div.matrix tr:first-child td:first-child, div.matrix tr:first-child td:last-child {
224    border-top: 2pt solid #000;
225}
226
227div.matrix tr:last-child td:first-child, div.matrix tr:last-child td:last-child {
228    border-bottom: 2pt solid #000;
229}
230
231div.matrix td {
232    border: none;
233}
234
235em.math {
236    font-family: 'Times New Roman', Times, serif;
237    font-size: larger;
238}
239
240/* special */
241::-moz-selection {
242    background-color: #FFAA00;
243    color: #000000;
244}
245
246::selection {
247    background-color: #FFAA00;
248    color: #000000;
249}