/* See notes on tableOfContents.js */
/*
#tocRoot{
	position: fixed;
	top:6.3rem;
	z-index:999;
	align-items:flex-start;
	height:calc(100vh - 6.3rem);
	max-height:calc(100vh - 6.3rem);
	overflow-y:scroll;
	
}
*/
#tocList .nav {
	padding-left: 1rem;
}
/*
#tocList .nav-link{
	padding:.05rem;
	width:100%;
}*/

#tocList span.toc-symbol{
	padding-right: 0.5rem;
}