.mask1, .mask2, .mask3, .mask4, .mask5 {
  font-family: Courier, monospace;
  font-size: 1em;
  margin: 0px;
  position: relative;
}

.mask1 {
  left: -256px;
}

.mask2 {
  left: -172px;
}

.mask3 {
  left: -88px;
}

.mask4 {
  left: -6px;
}

.mask5 {
  left: 156px;
}

a {
	text-decoration: none;
}

a, div, h1, h2, h3, li, p {
	font-family: Arial, Helvetica, sans-serif;
}

a, h1, h2 {
	color: #025A9C;
}

a:hover {
	color: #96C6EC;
}

a.navi {
	color: #000000;
}

a.navi:hover, a.menuitem:hover {
	color: #FFFFFF;
}

a.top {
	float: right;
	font-size: 16px;
	font-weight: normal;
}

body {
	background-color: #EFEFEF;
	margin: 0px;
}

caption {
	caption-side: top;
}

div.img, img {
	float: right;
	margin: 0px 0px 5px 5px;
	text-align: center;
}

div.logo {
	background-color: #FFFFFF;
}

div.logo, div.menuitem, div.menusubitem {
	border: 1px solid #000000;
	width: 200px;
}

div.main {
	background-color: #FFFFFF;
	border: 1px solid #000000;
	margin: 10px 10px 10px 150px;
	padding: 20px 20px 10px 80px;
}

div.menuarea {
	background-color: transparent;
	left: 8px;
	position: fixed;
	top: 20px;
}

div.menuitem, div.menusubitem {
	background-color: #96C6EC;
	color: #000000;
	font-weight: bold;
	line-height: 20px;
	margin: 10px 0px 0px 0px;
	text-align: center;
}

div.menuitem:hover, div.menusubitem:hover {
	background-color: #025A9C;
	color: #FFFFFF;
}

div.menusubitem {
	font-size: 12px;
	line-height: 15px;
	margin: 4px 10px;
	width: 180px;
}

div.navi {
	background-color: #96C6EC;
	border: 1px solid #000000;
	font-weight: bold;
	line-height: 20px;
	padding: 1px;
	text-align: center;
}

div.navi:hover {
	background-color: #025A9C;
}

div.top {
	position: absolute;
	top: 0px;
}

h1, h2 {
	clear: both;
}

ol{
	list-style: lower-alpha outside;
}

p.img {
	clear: both;
}

p.timestamp {
	color: #808080;
	font-size: 10px;
	text-align: center;
	clear: both;
}

pre {
	background-color: #EFEFEF;
	border: 1px solid #000000;
	clear: both;
	font-family: "Courier New", Courier, monospace;
	font-size: 15px;
	padding: 9px;
	width: 710px;
}

span.code {
	font-family: "Courier New", Courier, monospace;
}

table.navi {
	border-spacing: 0px;
	empty-cells: show;
	table-layout: fixed;
}

td.navi {
	height: 20px;
	padding: 0px;
	width: 100px;
}

td.naviconnecth {
	border-top: 1px dashed #000000;
	height: 12px;
	width: 50px;
}

td.naviconnectv {
	border-right: 1px dashed #000000;
	height: 20px;
}

ul{
	list-style: circle outside;
}