1@media screen {
2  body {
3    max-width: 50em; /* approximately 80 characters wide */
4    margin-left: 16em;
5  }
6
7  #toc {
8    position: fixed;
9    top: 0;
10    left: 0;
11    bottom: 0;
12    width: 13em;
13    padding: 0.5em;
14    padding-bottom: 1.5em;
15    margin: 0;
16    overflow: auto;
17    border-right: 3px solid #f8f8f8;
18  }
19
20  #toc .toclevel1 {
21    margin-top: 0.5em;
22  }
23
24  #toc .toclevel2 {
25    margin-top: 0.25em;
26    display: list-item;
27    /* OLD color: #aaaaaa; */
28    color: #990000;
29  }
30
31  #toctitle {
32    margin-top: 0.5em;
33  }
34}
35