@media screen{.tochidden,.toctoggle{-moz-user-select:none;-webkit-user-select:none;-ms-user-select:none;user-select:none}.toctoggle{font-size:94%}}@media print{#toc.tochidden,.toctoggle{display:none}}