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
137div.time p {
138    line-height: 0.5;
139}
140
141hr {
142    border: 0;
143    border-bottom: 2px dashed #aaa;
144}
145
146/* code */
147pre {
148    background-color: #eee;
149    padding: 4px;
150    overflow: auto;
151    max-height: 480px;
152}
153
154kbd {
155    padding: 3px 5px;
156    font: 0.9em monospace;
157    color: #333;
158    background-color: #fafafa;
159    border: 1px solid #ddd;
160    border-radius: 4px;
161    box-shadow: 0 2px 0 #ddd;
162}
163
164/* tables */
165table {
166    border-collapse: collapse;
167}
168
169th {
170    background-color: #f7f7e8;
171}
172
173th, td {
174    padding: 0.5em;
175    border: 1px solid #aaa;
176}
177
178tr:nth-child(even) {
179    background-color: #f7f7e8;
180}
181
182/* graphs post */
183div.matrix table {
184    border-width: 0 2pt 0 2pt;
185    border-style: solid;
186    border-color: #000;
187}
188
189/* poor man's matrix */
190div.matrix tr:first-child td:first-child, div.matrix tr:first-child td:last-child {
191    border-top: 2pt solid #000;
192}
193
194div.matrix tr:last-child td:first-child, div.matrix tr:last-child td:last-child {
195    border-bottom: 2pt solid #000;
196}
197
198div.matrix td {
199    border: none;
200}
201
202em.math {
203    font-family: 'Times New Roman', Times, serif;
204    font-size: larger;
205}
206
207/* special */
208::-moz-selection {
209    background-color: #FFAA00;
210    color: #000000;
211}
212
213::selection {
214    background-color: #FFAA00;
215    color: #000000;
216}