/* body */
	body {
		color:black;
		font-family:sans-serif;
		font-size:9pt;
		/* font-size:0.750em; */
		line-height:1.4;
		margin:2ex auto;
		width:650px;
	 }
/* break */
	.np {
		page-break-before:always;
	 }
	.avoid-break-inside {
		page-break-inside:avoid;
	 }
	.avoid-break-after {
		page-break-after:avoid;
	 }
.print-only {
	display:none;
 }
@media print {
	.no-print {
		display:none;
	 }
	span.print-only {
		display:inline !important;
	 }
	div.print-only {
		display:block !important;
	 }
 }
@page:first {
	@top-center {
		content:normal;
	 }
	@top-left {
		content:normal;
	 }
	@top-right {
		content:normal;
	 }
 }

/* a */
	a {
		color:#C4451D;
		text-decoration:none;
	 }
	a:active {
		color:red !important;
		text-decoration:underline;
	 }
	a:empty {
		margin:0 0 0 0 !important;
		padding:0 0 0 0 !important;
	 }
	@media screen {
		a:hover {
			background-color:#F4F2E2 !important;
			color:#C4451D !important;
			text-decoration:underline !important;
		 }
		a:visited {
			color:rgb(171,105,84);
		 }
		a:hover[href^="git:"],
		a:hover[href^="http:"],
		a:hover[href^="https:"],
		a:hover[href^="mailto:"],
		a.eref:hover {
			color:blue !important;
			text-decoration:underline;
		 }
		a:visited[href^="git:"],
		a:visited[href^="http:"],
		a:visited[href^="https:"],
		a:visited[href^="mailto:"],
		a.eref:visited {
			color:purple !important;
		 }
	 }
	.para a, dt a, dd a, li a {
		color:#C4451D;
	 }
	a.smpl {
		color:black;
	 }
	a[href^="git:"],
	a[href^="http:"],
	a[href^="https:"],
	a[href^="mailto:"],
	a.eref {
		border-bottom:none;
		color:blue;
		text-decoration:none;
	 }
/* .bcp14 */
	.bcp14 {
		font-style:normal;
		font-variant:small-caps;
		text-transform:lowercase;
	 }
	blockquote > * .bcp14 {
		font-style:italic;
	 }
/* hi */
	span.hi {
		background-color:yellow;
	 }
/* i */
	/* XXX: toggle() somehow included in CSS3,
	        but not supported so far by Mozilla/Firefox
	em {
		font-style:toggle(italic, normal);
	 }
	*/
	em.odd {
		font-style:italic;
	 }
	em.even {
		font-style:normal;
	 }
/* pre */
	pre.inline {
		background-color:white;
		padding:0em;
		page-break-inside:auto;
	 }
	pre.text {
		background-color:#f8f8f8;
		border-style:dotted;
		border-width:1px;
	 }
	pre.drawing {
		background-color:#f8f8f8;
		border-style:solid;
		border-width:1px;
		padding:2em;
	 }
	code, pre, samp, tt {
		background-color:#F4F2E2;
		font-family:monospace;
		font-size:90%;
		margin:0 0 0 0;
		/* page-break-inside:avoid; */
		white-space:pre-line;
	 }
	pre {
		white-space:pre;
	 }
	@media print {
		pre {
			white-space:pre-wrap;
		 }
	 }
/* q */
	q:after,
	q:before {
		content:"";
	 }
/* cite */
	cite {
		font-style:normal;
	 }
/* .ref-needed */
	.ref-needed {
		font-size:50%;
		color:red;
	 }
/* .sc */
	span.sc {
		font-variant:small-caps;
	 }
/* sub/sup */
	sup {
		font-size:80%;
	 }
	sub {
		font-size:80%;
	 }
/* .tt */
	span.tt {
		font-family:monospace;
		/* font-size:95%; */
		font-size:1.3em;
	 }
/* .section */
	.section {
		clear:both;
		margin-top:2ex;
		page-break-after:auto;
		page-break-before:auto;
		page-break-inside:avoid;
	 }
	.section > section,
	.section > *:first-child {
		margin-left:0em;
	 }
	.section > * {
		margin-left:2em;
	 }
	.section-header {
		border-spacing:0;
		margin:0 0 1ex 0;
		padding:0 0 0 0;
		page-break-after:avoid;
	 }
	.section-header .section-number {
		font-weight:bold;
		padding-right:1ex;
	 }
	.section-title {
		font-family:sans-serif;
	 }
	.section-header > tbody > tr > td {
		vertical-align:top;
	 }
	.alias:target   ~ .section-header        .section-number,
	.section:target > .section-header        .section-number,
	.section        > .section-header:target .section-number {
		background-color:#BFEFFF;
	 }
	.section-judgment {
	 }
	.section.page-break {
		page-break-before:always;
	 }
	.section.multi-pages {
		page-break-inside:auto;
	 }
	.section.single-page {
		page-break-inside:avoid;
	 }
	hr.section {
		clear:left;
	 }
	hr.pagebreak {
		page-break-before:always;
	 }
	div.title {
		margin-bottom:2ex;
		margin-top:2ex;
	 }
	div.title > h1 {
		font-size:100%;
		margin:0.1ex 0 0 0;
		padding:0 0 0 0;
		text-align:center;
	 }
	div.title > h1:first-child {
		color:green;
		font-size:150%;
		font-weight:bold;
		line-height:18pt;
	 }
	div.title > h1:target {
		background-color:#BFEFFF;
	 }
	.section .section-header {
		font-size:130%;
		line-height:21pt;
	 }
	.section .section .section-header {
		font-size:120%;
		line-height:15pt;
	 }
	.section .section .section .section-header {
		font-size:115%;
	 }
	.figure-content > .section {
		margin-top:0 !important;
	 }
	.figure-content > .section + .section {
		margin-top:2ex !important;
	 }
	h2, h3, h4, h5, h6 {
		font-size:inherit;
		line-height:inherit;
		margin:0 0 0 0;
		padding:0 0 0 0;
	 }
/* p */
	p {
		margin:0 0 0 0;
		padding:0 0 0 0;
	 }
/* .para */
	.para {
		margin-top:2ex;
	 }
	.para:first-child,
	a + .para,
	.section-header + .para {
		margin-top:0;
	 }
	.para.center {
		text-align:center;
	 }
	.para > p {
		text-align:justify;
	 }
	.para > * {
		margin-top:0;
		margin-bottom:0;
	 }
	br.para {
		line-height:150%;
	 }
/* .self */
	.self {
		color:#999999;
		font-style:normal;
		margin-left:.3em;
		position:absolute; /* NOTE: avoid bottom margin  */
		text-decoration:none;
		visibility:hidden;
		/* XXX: not standard CSS yet  */
		-moz-user-select:none;
		-ms-user-select:none;
		-webkit-user-select:none;
	 }
	.self:hover {
		text-decoration:none;
	 }
	.para:hover .self,
	dt:hover .self {
		visibility:visible;
	 }
/* .figure */
	.figure {
		margin-top:1.5ex;
		margin-bottom:1.5ex;
		page-break-before:auto;
		page-break-inside:avoid;
		page-break-after:auto;
	 }
	.section-header + .figure,
	.figure:first-child {
		margin-top:0;
	 }
	/*
	.para + .figure {
		margin-top:1.5ex;
	 }
	*/
	.figure:last-child {
		margin-bottom:0;
	 }
	.figure table.figure-caption {
		border-spacing:0;
		margin-top:0;
		/*margin-bottom:0.5ex;*/
	 }
	.figure table.figure-caption > tbody > tr > td {
		padding:0 0 0 0;
	 }
	.figure .figure-caption .figure-number {
		font-weight:bold;
		vertical-align:top;
	 }
	.figure .figure-caption .figure-colon {
		font-weight:bold;
		vertical-align:top;
	 }
	.figure .figure-caption .figure-title {
		padding-left:1ex;
		text-align:left;
		vertical-align:middle;
	 }
	.figure .figure-content {
		border-left:5px solid black;
		/* overflow:auto; */
		padding:0 0 0 1em;
	 }
	.figure:target > table.figure-caption > tbody > tr > td.figure-number > a {
		background-color:#BFEFFF;
	 }
/* .quote */
	.quote {
		border-left: 3px solid blue;
		padding-left: 1ex;
	 }
/* .ul */
	.ul {
		padding-left:0;
	 }
	dl.ul > dt {
		float:left;
	 }
	dl.ul > dd {
		margin-left:1.5em;
		clear:none;
	 }
/* .ol */
	.ol {
		padding-left:0;
	 }
	.ol.la {
		list-style-type:lower-alpha;
	 }
	.ol.ua {
		list-style-type:upper-alpha;
	 }
	dl.ol > dt {
		float:left;
		margin-right:1ex;
	 }
	dl.ol > dd {
		margin-left:1.5em;
		clear:none;
	 }
	table.ol {
		border-spacing:1px;
	 }
	table.ol > tbody > tr > td {
		padding:0;
		vertical-align:top;
	 }
	table.ol > tbody > tr > td.name {
		text-align:right;
	 }
	table.ol > tbody > tr > td.value {
		padding-left:1ex;
		clear:none;
	 }
/* li */
	ul.ul > li,
	ol.ol > li {
		margin-left:2em;
		text-align:justify;
	 }
/* .dl */
	.dl {
	 }
	dl.dl > dt {
		float:left;
		font-weight:bold;
		margin-right:1em;
	 }
	dl.dl.nohang > dt {
		float:none;
	 }
	dl.dl > dd {
		clear:left;
		margin-bottom:.5em;
		text-align:justify;
	 }
	dl.dl.compact > dd {
		margin-bottom:.0em;
	 }
	dl.dl > dd > dl.dl {
		margin-top:0.5em;
	 }
/* .notes */
	.notes > hr {
		border:none;
		border-top:1px solid black;
		color:black;
		margin-left:0;
		width:33%;
	 }
	.notes {
		margin-left:0;
	 }
	.notes > table > tbody > tr > td {
		vertical-align:top;
	 }
	/* .note-ref */
		.note-ref {
			white-space:pre;
		 }
	/* .note-numbers */
		sup.note-numbers {
			font-size:66%;
			margin-left:2px;
		 }
		sup.note-numbers > a,
		.note-ref > a {
			color:black;
			font-weight:bold;
		 }
		@media screen {
			sup.note-numbers > a:visited,
			.note-ref > a:visited {
				color:gray !important;
			 }
			sup.note-numbers > a:hover,
			.note-ref > a:hover {
				color:black !important;
			 }
			sup.note-numbers > :target {
				background-color:#BFEFFF;
			 }
			.notes > table > tbody > tr > td:target .note-number,
			.notes > table > tbody > tr > td > :target.note-number {
				background-color:#BFEFFF;
			 }
		 }
/* .references */
	.references {
		margin-top:1ex;
	 }
	.references:first-child {
		margin-top:0;
	 }
	.references > table {
		border-collapse:separate;
		border-spacing:0;
	 }
	.references > table > tbody > tr + tr > td {
		padding-top:1ex;
	 }
	.reference-key {
		padding-left:0;
		padding-right:1em;
		vertical-align:top;
	 }
	.reference-content {
		text-align:justify;
	 }
	.reference-content > .reference-url {
	 }
	.reference-content > .ref-backs {
		//margin-left:1ex;
	 }
	.reference-content > .ref-backs > .ref-back {
		background-color:#F4F2E2;
		font-size:70%;
		line-height:0;
		position:relative;
		vertical-align:baseline;
	 }
	td.reference {
		vertical-align:top;
		white-space:nowrap;
		padding-right:1em;
	 }
/* .at */
	.at:target {
		background-color:#BFEFFF;
	 }
	.at-unknown {
		display:inline-box;
		text-decoration-line:underline;
		text-decoration-color:#C4451D;
		text-decoration-style:solid;
	 }
	.at-ambiguous {
		display:inline-box;
		text-decoration-line:underline overline;
		text-decoration-color:#C4451D;
		text-decoration-style:double;
	 }
	.at-backs > .at-back {
		background-color:#F4F2E2;
		font-size:70%;
		line-height:0;
		position:relative;
		vertical-align:baseline;
	 }
/* .tag */
	.tag {
		color:#000080;
	 }
	.tag:target {
		background-color:#BFEFFF;
	 }
	.tag-backs > .tag-back {
		background-color:#F4F2E2;
		font-size:70%;
		line-height:0;
		position:relative;
		vertical-align:baseline;
	 }
/* .reference */
	.reference {
		white-space:pre;
	 }
	.reference:target {
		background-color:#BFEFFF;
	 }
	.reference-unknown {
		display:inline-box;
		text-decoration-line:line-through;
		text-decoration-color:red;
		text-decoration-style:solid;
	 }
	.reference-ambiguous {
		display:inline-box;
		text-decoration-line:line-through;
		text-decoration-color:red;
		text-decoration-style:double;
	 }
/* .shortcuts */
	ul.shortcuts {
		list-style-type:none;
		margin:0 0 0 0;
		padding:0 0 0 0;
		position:fixed;
		right:0.5ex;
		top:0.5ex;
		z-index:9999;
	 }
	ul.shortcuts > li {
		text-align:right;
		line-height:1.2;
		margin-bottom:0.5ex;
	 }
	ul.shortcuts > li > a.shortcut {
		background:white;
		border:1px solid black;
		padding:0 1ex 0 1ex;
	 }
	@media print {
		ul.shortcuts {
			display:none;
		 }
	 }
/* .toc */
	.toc {
		background-color:#FFFFF0;
		border:1px solid black;
		/*margin-left:0 !important;*/
		margin-top:1ex;
		padding:1ex 2em 1.5ex 2em;
	 }
	.toc .toc-name {
		font-size:120%;
		font-weight:bold;
	 }
	.toc > ul {
		margin-top:0;
	 }
	.toc li:last-child > ul:last-child {
		padding-bottom:0;
	 }
	.toc ul {
		list-style:none;
		margin-bottom:0;
		margin-left:1em;
		padding-bottom:0;
		padding-left:0em;
		padding-top:0;
	 }
	.toc.no-indent ul > li > ul {
		margin-left:0;
	 }
	.toc ul > li {
		line-height:1.3;
		font-weight:bold;
		margin-left:0em;
		margin-top:0;
	 }
	.toc .toc-entry {
		border-spacing:0;
	 }
	.toc .toc-entry > tbody > tr > td {
		padding:0 0 0 0;
		vertical-align:top;
	 }
	.toc .toc-entry .section-number {
		padding-right:1ex;
	 }
	.toc ul > li > ul {
		padding-bottom:1ex;
		padding-top:1ex;
	 }
	.toc.no-vspace ul > li > ul {
		padding-bottom:0;
		padding-top:0;
	 }
	.toc ul > li > ul > li {
		font-weight:normal;
		line-height:normal;
		margin-left:0em;
	 }
	@media print {
		ul.toc a:last-child::after {
			content:leader('.') target-counter(attr(href), page);
		 }
	 }
/* .tof */
	.tof {
		list-style:none;
		padding-left:0;
	 }
	.tof .figure-number {
		vertical-align:top;
		padding-right:1em;
	 }
	.tof h2 {
		margin-bottom:1ex;
	 }
	.tof .figure-number {
		font-weight:bold;
		margin-right:1ex;
	 }
	.tof .figure-title {
	 }
/* .headers */
	table.headers {
		border-collapse:collapse;
		border-spacing:0;
		border:1px solid black;
		/* color:white; */
		line-height:1.4;
		margin-left:auto;
		margin-right:auto;
		width:100%;
	 }
	table.headers > * > tr:first-child > td,
	table.headers > * > tr:first-child > th {
		background-color:#F4F2E2;
		border:1px solid white;
		padding:0;
		/*
		padding-left:0.5em;
		padding-right:0.5em;
		*/
		vertical-align:top;
	 }
	table.headers td.left {
		padding:0 0 0 0;
		text-align:left;
	 }
	table.headers td.right {
		padding-left:0;
		padding-right:0.5em;
		text-align:right;
	 }
	/* borders */
		table.headers > * > tr:first-child > td,
		table.headers > * > tr:first-child > th {
			border-top:1px solid black;
		 }
		table.headers > * > tr:last-child > td,
		table.headers > * > tr:last-child > th {
			border-bottom:1px solid black;
		 }
		table.headers > * > tr > td:first-child,
		table.headers > * > tr > th:first-child {
			border-left:1px solid black;
		 }
		table.headers > * > tr > td:last-child,
		table.headers > * > tr > th:last-child {
			border-right:1px solid black;
		 }
/* .document-head */
	.document-head {
		border:1px solid black;
	 }
	.document-head > table {
		border-collapse:collapse;
		border-spacing:0;
		border:1px solid white;
		background-color:#F4F2E2;
		line-height:1.4;
		margin-left:auto;
		margin-right:auto;
		width:100%;
	 }
	.document-head > table > tbody > tr > td {
		border:1px solid white;
		padding:0;
		vertical-align:top;
		width:50%;
	 }
	.document-head > table > tbody > tr > td.left {
	 }
	.document-head > table > tbody > tr > td.right {
	 }
	.document-head > table > tbody > tr > td.full {
	 }
	.document-head > table div.artwork.artwork-type-image {
		border:0;
		display:inline-block;
		vertical-align:middle;
	 }
	/* .document-headers */
		table.document-headers {
			border-spacing:0;
			border-collapse:collapse;
		 }
		table.document-headers > tbody > tr.header {
			border-bottom:1px solid white;
		 }
		table.document-authors > tbody > tr.header:last-child {
			border-top:none;
		 }
		table.document-headers > tbody > tr.header > td {
			vertical-align:top;
			line-height:1.2;
		 }
		.document-head .header-name,
		table.document-headers > tbody > tr.header > td.header-name {
			padding-left:0.5em;
			font-weight:bold;
		 }
		table.document-headers > tbody > tr.header > td.header-value {
			padding-left:1em;
			width:100%;
		 }
	/* document-authors */
		table.document-authors {
			border-collapse:collapse;
			border-spacing:0;
			width:100%;
		 }
		table.document-authors > tbody > tr {
			border-bottom:1px solid white;
		 }
		table.document-authors > tbody > tr:first-child {
			border-top:none;
		 }
		table.document-authors > tbody > tr > td.author {
			line-height:1.2;
			padding-right:0.5em;
			text-align:right;
			vertical-align:top;
			width:100%;
		 }
/* .aside */
	.aside {
		background-color:white;
		border:1px solid black;
		clear:right;
		float:right;
		hyphens:auto;
		margin:1ex 0 1ex 2em !important;
		padding: 0.5ex 1ex 0.5ex 1ex;
		position:relative;
		width:33%;
	 }
	.aside .figure-content {
		border-left:0 !important;
		padding-left:0 !important;
	 }