/* toccnt is the automatic Javascript table of contents */
#toccnt{
   padding:0;
}
#toccnt ul{
   padding:0;
   margin:.5ex .1ex 0 1.25em;
}

/* Suitable for source and examples */
pre.example {
	margin-left: 2em;
	border: 1px solid #AAA;
	padding: 0.5em;
	background-color: #EEE;
}