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
