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