@import url("/style/common");

	div.navi { margin-top: 1.0em; margin-bottom: 1.0em; margin-left: 4.0em; }

	#toc h2, #toc h3, #toc h4 { text-align: center; }
	#toc ol { list-style: none; margin: 0; padding: 0; padding-bottom: 1.0em; }
	#toc ol li { margin-left: 0; margin-bottom: 0.1em; padding: 0; padding-left: 4.0em; text-indent: -3.0em; }

	.to-footnote {
		vertical-align: super;
	}

	#copyright {
		clear: both;
		border-top: thin solid black; margin: 0; padding: 0.5em;
		background-color: #E0E0E0; color: black; font-style: italic;
	}
	#copyright p { margin: 0.25em 0; }
	#copyright .badge {
		float: left; border: none; padding: 0; margin: 0.25em 0.5em 0 0;
		background: transparent; color: inherit;
	}
	#copyright .permissions { float: right; margin: 0.25em 0 0 0.5em; }

	.illustration {
		clear: right; float: right;
		margin-left: 1.5em; margin-bottom: 1.5em; margin-top: 0; margin-right: 0;
		padding: 10px; border: thin dashed black;
		color: black; background-color: white;
		text-align: center; font-size: 0.8em;
		font-weight: bold; font-style: italic;
	}
	.illustration .source {
		font-size: smaller; margin: 0; padding: 0; font-weight: normal;
	}