#toc {
    top:0px;
    position: -webkit-sticky;
    position: sticky;    
    display:table;
    padding: 0 0.5em 0 0;
    border:1px silver solid;
    box-shadow: 5px 10px #888888;
    background-color:whitesmoke;
    line-height:1.42em;
    min-width:20em;
}
#toc ul {margin-left:0;padding-left:1.3em}
#toc a {color:black;text-decoration:none;}
#toc a:link {color:black;text-decoration:none;}
#toc a:visited {color:black;text-decoration:none;}
#toc a:hover {color:blue;text-decoration:none;}
#toc a:active {color:darkblue;text-decoration:none;}
#toc a:focus {color:darkblue;text-decoration:none;}
:target {color:darkblue}
:target::before {font: 70% sans-serif;content: "► ";color: darkblue;margin-right: .25em;}
.tocMarked {color: darkblue!important;}
.tocMarked::before {color: darkblue!important;font: 70% sans-serif;content: "► ";margin-right: 0.1em}