body {
	margin: 0;
	background: #e0e0ff;
	color: #000060;
}
h1, h2 {
	color: #181030 ;
}
div.section h2 {
/*
	float: left;
	background: #d0d0d0;
	color: #801050 ;
*/
	padding: 4px;
	margin: 0px;
	margin-left: 236px ;
	margin-right: auto;
	font-family: sans-serif;
	font-size: 1.5em ;
}
div.section div.content h3 {
	margin-left: 0px;
	font-style: italic;
}
div.section h3 {
	padding: 4px;
	padding-left: 0px;
	margin: 0px;
	margin-left: 240px ;
	margin-right: auto;
	font-family: sans-serif;
	font-size: 1.3em ;
}
code {
	color: #800000 ;
}
br { clear: both ; }
div.section {
	clear: both ;
}
div.content {
/*
	margin-left: 254px;
	border: solid gray;
*/
	width: 60%;
	float: right;
	margin-right: 1em;
}
img.annot {
	float: left ;
	margin-left: 4px;
/*	margin-top: 1em;*/
	border: none ;
}
img {
	/*float: left ;*/
	border: 0;
}

h1 {
	text-align: center ;
	font-size: 1.5em ;
	font-style: italic ;
	font-weight: bold ;
	clear: both ;
	margin-top: 3em;
}
div#head img#logo {
	float: left;
/*	clear: none;*/
	margin: 0;
}
div#head img {
	float: right;
	margin: 6px;
	border: 0;
}
div#head div#path {
	padding: 1em;
	margin-left: 120px;
}
div#abstract {
	margin-left: 10% ;
	margin-right: 10%;
	font-style: italic;
}
div#abstract em {
	color: red ;
	font-weight: bolder;
}
div#head table {
	float: right;
	width: 30%;
}
div.oldannot, div.newannot {
	float: left ;
	clear: left ;
	width: 30% ;
	color: red ;
/*
	border: dashed gray;
	display: none ;
*/


}
dt { padding-top: 0.2em; font-weight: bolder; }
dd { font-size: 90%; font-style: italic; }
/*
p,ul {
	margin-left: 1em ;
	margin-right: 1em ;
}
p#time {
	clear: both;
	text-align: right ;
	border-top: gray groove ;
	padding-top: 12px;
}
*/
div#footer {
	clear: both;
	border-top: gray groove ;
	padding-top: 12px;
}
div#footer img {
	border: 0;
	float: right;
}
div#footer p#time {
	float: left;
}
.tabset_content table.multi {
	border: outset 4px;
	margin: 10px;
	padding: 10px;
}
.tabset_content table th {
	text-align: right ;
	padding-right: 2em ;
}
img.figure {
	border: groove;
}
img.book {
	float: right;
	padding: 1em;
}
div#errata th, div#errata td	{
	text-align: left;
}
caption {
	font-style: italic;
	font-size: 115%;
	text-align: left;
}