BODY {
	background: #ffffd0;
	color: #000000;
}
A:link    { color: #0000ff; }
A:visited { color: #0000a0; }
A:active  { color: #ff0000; }
A:hover   { color: #00a000; }
H1 {
	text-align: center;
	font-family: Arial, sans-serif;
	font-style:normal;
	font-weight:bold;
}
H2 {
	border-color: #0099ff;
	border-style: solid; 
	border-width: 0px 0px 1px 10px;
	margin: 1em 1em 0em 1em;
	padding-left: 1em;
}
P {
	text-indent:1em;
	line-height:130%;
	margin-left:4em;
	margin-right:3em;
}
div.abstruct {
	background: #ffe0e0;
	border-style: solid; 
	border-width: 1px 1px 1px 1px;
	border-color: #0000ff;
	margin: 1em 8% 0em 8%;
	padding: 0.5em 1em 0.5em 1em;
	line-height: 1.2em;
}
ol.publication, ul.codes {
	margin-left: 4em;
	margin-right: 4em;
}
ul li, ol li {
	margin-bottom: 0.5em;
}
pre {
	background: #ffffff;
	border-style: solid; 
	border-width: 1px 1px 1px 1px;
	border-color: #0000ff;
	margin: 0em 5em 0em 5em;
	padding: 0.5em 2em 0.5em 2em;
	line-height: 1.2em;
}
div.lastupdate {
	text-align: right;
	color: red;
}
div.nav {
	font-family: Arial, sans-serif;
}