body{
	margin: 0px;
	padding: 10px;
	/*border: 8px solid navy;*/
	font-family: sans-serif; 
	color: black;
}
a{ color: #1111ff; }
a:visted{ color: #3333ff; }
a:hover{ color: 1199cc; }
div.section{
	border: 2px groove silver;
	padding: 2px 8px;
	background-color: #bbebe3;
	/* height: 650px; */
	clear: both;
}
div.ads{
	width: 162px;
	float: right;
	margin: 15px 10px;
	padding: 3px;
	border: 2px inset silver;
	background-color: #cccccc;
}
div#amazon{
	border: 0px inset silver;
	background-color: #bbebe3;
}
div#google{
}
body > h4 {
	
}
h1{
	border: 0px solid silver;
	font-size: 22pt;
	font-weight: bold;
	margin: 8px 4px;
	padding: 12px 4px;
}
h2{
	border: 0px solid silver;
	font-weight: bold;
	font-size: 16pt;
	margin: 18px 4px 6px 4px;
	padding: 8px 4px;
	display: block;
}
h3{
	border: 0px solid silver;
	font-weight: bold;
	font-size: 13pt;
	margin: 16px 4px 4px 4px;
	padding: 4px 4px;
}
h4{
	border: 0px solid red;
	font-weight: normal;
	font-size: 11pt;
	margin: 2px 4px;
	padding: 2px 4px;
}
h5{
	border: 0px solid silver;
	font-size: 9pt;
	font-weight: normal;
	margin: 1px 4px;
	padding: 2px 4px;
}
h6{
	border: 0px solid silver;
	font-size: 8pt;
	font-weight: normal;
	margin: 0px 4px;
	padding: 1px 4px;
}
h4 p{
	border: 0px solid silver;
	margin: 1px 2px 4px 2px;
	/* padding: 1px 4px 4px 4px; */
}
li{
}	
code{
	border: 2px inset #8bada9;
	/*background-color: #8bada9;*/
	background-color: black;
	color: white;
	display: block;
	padding: 2px 4px;
	margin: 10px 15px;
	white-space: pre;
	font-weight: bold;
	font-size: 10pt;
}
code i {
	color: #ffffa0;
}
code .reply {
	color: #b0ffb0;
}
code .comment{
	font-weight: normal;
	color: #d0d0d0;
}
img.postfix{
	background-color: white;
	padding: 10px;
	border: 2px groove silver;
}
h6.red{ color: red; }

.section table.editions th{
	font-size: 14pt;
	font-weight: bold;
}
.section table.editions td{
	font-size: 12pt;
	font-weight: normal;
}
.section table.editions td.desc{
	font-size: 10pt;
	font-weight: normal;
}