michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0:  * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0:  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0: 
michael@0: toc {
michael@0:   position:fixed;
michael@0:   top:0; 
michael@0:   left:0; 
michael@0:   width:12em; 
michael@0:   height:100%;
michael@0:   border-right: 1px solid black;
michael@0:   background-color: #CCE6F3;
michael@0:   font-family: Arial;
michael@0:   overflow:auto;
michael@0:   color: darkblue;
michael@0: }
michael@0: 
michael@0: toc > title {
michael@0:   display: block;
michael@0:   font-size:12pt;
michael@0:   font-weight: bold;
michael@0:   background-color: black;
michael@0:   color:white;
michael@0: }
michael@0: 
michael@0: toclink:visited {
michael@0:   color: purple;
michael@0: }
michael@0: 
michael@0: toclink:active {
michael@0:   color: red;
michael@0: }
michael@0: 
michael@0: level1 {
michael@0:    display: block;
michael@0:    font-weight:bold;
michael@0:    font-size:12pt;
michael@0:    margin-left: 4px;
michael@0:    margin-bottom: 2px;
michael@0: }
michael@0: 
michael@0: level1 > toclink {
michael@0:    list-style-position: inside;
michael@0:    text-decoration: none;
michael@0:    color: darkblue;
michael@0: }
michael@0: 
michael@0: level2 {
michael@0:    display: block;
michael@0:    font-size:11pt;
michael@0:    margin-left: 8px;
michael@0:    margin-bottom: 2px;
michael@0: }
michael@0: 
michael@0: level2 > toclink {
michael@0:    list-style-position: inside;
michael@0:    text-decoration: none;
michael@0:    color: darkblue;
michael@0: }
michael@0: 
michael@0: level3 {
michael@0:    display: list-item;
michael@0:    font-size: 8pt;
michael@0:    margin-left: 12px;
michael@0:    margin-bottom: 2px;
michael@0: }
michael@0: 
michael@0: level3 > toclink {
michael@0:    list-style-position: inside;
michael@0:    text-decoration: none;
michael@0:    color: darkblue;
michael@0: }
michael@0: 
michael@0: toc img {
michael@0:    margin-right: 1em;
michael@0: }
michael@0: