body {
	padding: 10px;
	padding-left: 0px;
	margin: 0px;
	color: #000000;
	font-family: Verdana, sans-serif;
	font-size: 100.01%;
	}

a {
	color: #0000FF;
	font-weight: bold;
	text-decoration: none;
	border-bottom: 1px dotted;
	}

a:hover {
	color: #FF0000;
	border-bottom: 1px solid red;
	}

p {
	margin: 0px;
	padding-bottom: 0.5em;
	padding-top: 0.2em;
	margin-left: 10px;
	margin-right: 10px;
	}

p.invisible {
	margin: 0px;
	padding: 0px;
	font-size: 0px;
	line-height: 0px;
	visibility: hidden;
/*	display: none;
*/	}

pre {
	font-family: monospace, Courier New, Courier;
	font-size: 10px;
	margin: 0pt;
	padding-bottom: 0.5em;
	padding-top: 0.2em;
	margin-left: 15px;
	}

table {
	margin: 0pt;
	padding-bottom: 0.5em;
	padding-top: 0.2em;
	margin-left: 15px;
	margin-right: 20px;;
	width: 98%;
	margin-bottom: 15px;
	}

tr.line1 {
	background-color: #E0E0E0;
	}

tr.line0 {
	background-color: white;
	}

td {
	padding: 3px;
	vertical-align: top;
	}

h3 {
	font-weight: bold;
	font-size: 120%;
	border-bottom: 1px solid black;
	background-color: #EEEEFF;
	padding: 3px;
	margin: 0px;
	margin-bottom: 5px;
	}

div.section {
	border: 1px dotted black;
	margin-bottom: 2em;
	margin-top: 0px;
	}
	
h4 {
	margin-left: 10px;
	font-size: 110%;
	font-weight: bold;
	}

span.fixed {
	font-family: monospace, Courier New, Courier;
	font-weight: bold;
	background-color: #FFE0E0;
	}
	
dl {
	margin-left: 10px;
	margin-right: 10px;
	}

dt {
	margin-top: 10px;
	font-weight: bold;
	}
	
ol {
	margin-top: 10px;
	margin-bottom: 10px;
	}

div.body {
	margin-left: 10em;
	}
	
div.menu {
	padding: 0px;
	margin: 0px;
	position: fixed;
	left: 10px;
	top: 10px;
	width: 8em;
	}
	
a.menuitem {
	border: 1px dotted black;
	background-color: white;
	display: block;
	padding: 5px;
	margin: 0px;
	margin-bottom: 10px;
	}


a.menuitem:hover {
	border: 1px solid #AAAAFF;
	background-color: #EEEEFF;
	}
	
a.active {
	background-color: #FFEEEE;
	}

a.submenuitem {
	border: 1px dotted black;
	background-color: white;
	display: block;
	padding: 2px;
	margin: 0px;
	margin-left: 20px;
	margin-bottom: 10px;
	font-size: 10px;
	}
	
a.submenuitem:hover {
	border: 1px solid #AAAAFF;
	background-color: #EEEEFF;
	}
	
a.subactive {
	background-color: #FFEEEE;
	}

	
a.anchor:hover {
	}
	
a.anchor {
	text-decoration: none;
	color: black;
	border: none;
	font-weight: normal;
	}

div.remark {
	border: 1px solid #000000;
	margin: 10px;
	margin-left: 20px;
	}

p.remark {
	}

h5.remark {
	background-color: #000000;
	color: #FFFFFF;
	margin: 0px;
	padding-left: 10px;
	}


td.works {
	background-color: #00FF00;
	}

td.works-partly {
	background-color: #FFFF00;
	}
	
td.doesnt-work {
	background-color: #FF0000;
	}

p.blog_info {
	border: 1px dotted black;
        background-color: white;
        font-size: 80%;
        padding: 0.5em;
	}

p.blog_image {
	display: block; 
        float: right;
	}        
        
div.blog_reply {
	margin-left: 1em;
	margin-bottom: 10px;
	margin-top: 10px;
	}

p.blog_reply {
	margin-left: 0px;
	}

h4.blog_reply {
	border: 1px solid #A0A0A0;
	background-color: #EEEEFF;
	margin: 0px;
	margin-right: 10px;
	padding: 2px;
	font-size: 12px;
	}

span.blog_date {
	font-size: 80%;
	font-weight: normal;
	}
	
div#advertising {
	margin-bottom: 0.5em;
	margin-left: 9em;

	text-align: right;
}

div#advertising table {
	display: block;
	float: left;
	
}

div#advertising iframe {
	margin: auto;
	margin-right: 0px;
	height: 105px;
}

div.foot-ad {
	margin-right: 0px;
	text-align: right;
	font-size: 70%;
	border: 1px dotted gray;
	color: #000;
}

div.foot-ad a {
	text-decoration: none;
	color: gray;
	border: none;
}