div.toctree-wrapper { display:none }
.footnote {font-size: 60% }
div.Navigation {background-color:#99ccff}