/* custom CSS for TOC */

span.toctitletext {
	color: #0e649f;
	font: bold .85em "Lucida Grande", Lucida, Verdana, sans-serif;
}

div.toctext {
	font: .8em "Lucida Grande", Lucida, Verdana, sans-serif;
}