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