@charset "UTF-8";
@namespace url(http://www.w3.org/1999/xhtml);

table, td, th {border:1px solid #888888;}
td, th {padding-top:0.3em;}

div.notes {
	border:1px dashed #888888;
	margin:0.5em 0;
	padding:0 0.5em;
}

div.section {margin:3em 0;}
div.section div.section {margin:2em 0;}

ul.toc dl {margin:0;}
ul.toc dt {font-weight:normal;}
ul.toc dd, ul.toc dd ul {margin:0 1em;}
ul.toc li {
	list-style:disc;
	list-style:none;
}

code {color:#4000af;}

/* The end. */