div#toc,div#toc span.contentheader, div#toc div , div#toc a {
color: white;
	background-color: black;
}
div#toc {
	position: fixed;
	top: 0px;
	right: 0px;
        /*	background: #DEE7F7; */
	width: 200px;
	padding: 0;
}

div#toc span.contentheader {
  /*	background-color: #527BBD; */
	display: block;
        /*	color: #EBF1FA; */
	font-weight: 600;
	cursor: pointer;
	padding-left: 23px;
	padding-bottom: 0;
}

div#toc div {
  /*	border: solid #527BBD; */
	border-width: 0 0 3px 3px;
	padding: 10px;
	padding-top: 0;
	display: none;
}	

div#toc a {
	display: list-item;
	margin: 0;
	padding: 0;
	margin-left: 10px;
}

div#toc a.indent {
	list-style-type: circle;
	margin-left: 25px;
}

div#toc a.explanation {
	font-size: 75%;
	display: block;
	margin: 0px -10px 10px;
	padding-left: 21px;
	padding-bottom: 3px;
        /*	color: #EBF1FA;
                background-color: #527BBD; */
}