body {
	margin-left: .1em;
	margin-right: .1em;
	}
h1 {
	margin-right: 0;
	margin-bottom: .2em;
	margin-left: 0;
	}
h1 .main {
	line-height: .5;
	}
h1 .sub {
	color: #111;
	font-size: 40%;
	margin: 0;
	padding: .3em 2em 0 0;
	display: block;
	line-height: 1.0;
	}

#quickContents h2,
#fullContents  h2 {
	font-size: 170%;
	margin: 0 0 .3em 0;
	}

ul.contentsList {
	margin-left: 0;
	margin-right: 0;
	padding-left: 2em;
	padding-right: 0;
	}
#quickContents ul.appendix ul {
	margin-left: 1em;
	}

#quickContents {
	margin: 0;
	float: left;
	width: 20em;
	}
#fullContents {
	margin-left: 20em;
	}

@media print {
	h1 .sub {
		font-size: 45% !important;
		padding: 0 !important;
		}
	#quickContents h2,
	#fullContents h2 {
		font-size: 120%;
		}
	}