/*	Stylesheet for HTML version of JCMI Proceedings (the 20th JCMI)*/body.jcmi-paper {	margin-left: 20pt;	margin-right: 20pt;	background-color: white;}span.space {}p.header {	text-align: center;	text-decoration: underline;}p.pdf {	text-align: left;}span.pdf {	text-align: left;	padding-left: 1em;	padding-right: 1em;	border-style: solid;	border-width: 1 3 3 1;	font-style: italic;	background-color: #E0E0E0;}a.pdf {	text-decoration: none;	color: black;}h2.title-ja {	text-align: center;}p.author-list-ja {	text-align: center;}span.author-ja {	white-space: nowrap;}p.org-list-ja {	text-align: center;}span.org-ja {	white-space: nowrap;}p.abstract-ja {	margin-left: 2em;	margin-right: 2em;	text-indent: -1em;	text-align: justify;	line-height: 130%;}h2.title-en {	text-align: center;}p.author-list-en {	text-align: center;}span.author-en {	white-space: nowrap;}p.org-list-en {	text-align: center;}span.org-en {	white-space: nowrap;}p.abstract-en {	margin-left: 2em;	margin-right: 2em;	text-indent: -1em;	text-align: justify;	line-height: 130%;}p.keywords {	margin-left: 2em;	text-indent: -1em;}hr.head {}span.kw {	text-transform: capitalize;}h3.section-title {}h3.subsection-title {}h3.subsubsection-title {}p.paragraph {	line-height: 130%;}p.li {}ol.list-1 ul.list-1 {}ol.list-2 ul.list-2 {}ol.list-3 ul.list-3 {}ol.list-4 ul.list-4 {}ul.list-1 {}h3.bib-title {}p.bibitem {	margin-left: 2em;	text-indent: -2em;	line-height: 130%;}table.table table.figure table.math {	margin-top: 100em;}span.table span.figure span.math {	text-align: right;}img.table img.figure img.math {	border-width: 10pt;}p.footer {	text-align: right;	text-decoration: underline;	font-style: italic;}