/* Default margin, padding reset */
html, body, h1, h2, h3, h4, h5, h6,
pre, ul, ol, dl, table{
	margin: 0;
	padding: 0;
}
div, p {
	margin: 8px;
	padding: 0;
}

/* non-type */
.center{
	text-align: center;	
	margin-right : auto;
	margin-left : auto;
}

/* body */
body.nano{
	background-color: #ccffff;
	background-image: url(http://www.kcrt.net/images/wall.png);
	margin-left: 10%;
	margin-right: 10%;
	margin-top: 32px;
	margin-bottom: 32px;
}
body.serious{
	background-color: #E0FFFF;
	margin-left: 10%;
	margin-right: 10%;
	margin-top: 32px;
	margin-bottom: 32px;
}
body.cool{
	background-color: #E1E1F2;
}

/* headings */
h1 {
}
h2 {
	border-right-width: 2px;
	border-right-style: solid;
	border-right-color: #CCCCCC;
	border-bottom-width: 2px;
	border-bottom-style: solid;
	border-bottom-color: #CCCCCC;
	margin-top: 16px;
}
h3{
	margin-left: 16px;
	border-bottom-color: #808080;
	border-bottom-style: double;
}
h4{
	margin-left: 18px;
	border-bottom-width: 1px;
	border-bottom-style: dotted;
	border-bottom-color: #CCCCCC;
}
h5{
	margin-left: 20px;
}

/* header, footer */
div.header{
	text-align: center;
	border-bottom-width: 2px;
	border-bottom-style: ridge;
}
div.header h1{
	margin-top: 16px;
	margin-bottom: 16px;
}
div.footer {
	margin-top: 10px;
	padding: 10px;
	border-top-width: 2px;
	border-top-style: ridge;
	text-align: right;
}

/* tables */
table {
	margin: 12px;
}

/* menu */
div.menu {
	margin-left: 20px;
}
div.menuitem {
	margin: 20px;
	padding: 10px;
	border-left-style: ridge;
	border-left-color: aqua;
	border-bottom-style: ridge;
	border-bottom-color: aqua;
}
div.menuitem a{
	font-size: larger;
	color: #0000CC;
	font-weight: bolder;
}
div.menuitem a:hover{
	color: teal;
	font-weight: bolder;
}

/* abbr etc. */
abbr, acronym, dfn, .popup {
	font-weight: bold;
	font-style: normal;
	color: green;
	background-color: #FFFFBF;
	border-bottom-width: 1px;
	border-bottom-style: dotted;
	border-bottom-color: GREEN;
	cursor: help;
}
.next{
	display: none;
}

/* list item */
ul {
	margin-left: 32px;
}
dt {
	text-decoration: underline;
	font-style: italic;
}
dd {
}

/* images */
img{
	border-width: 0px;
}
img.snapshot{
	border-color: #004D00;
	border-style: solid;
	border-width: 2px;
	margin: 8px;
	padding: 8px;
}

/* divs */
div.info{
	margin: 16px 10%;
	padding-left: 48px;
	border-width: 2px;
	border-color: #55AAAA;
	border-style: solid;
	background-color: #CCFFFF;
	background-image: url('images/info.png');
	background-repeat: no-repeat;
	background-position: 16px 8px;
}
div.warn{
	margin: 16px 10%;
	padding-left: 48px;
	border-width: 2px;
	border-color: #993333;
	border-style: solid;
	background-color: #FFCCCC;
	background-image: url('images/warn.png');
	background-repeat: no-repeat;
	background-position: 16px 8px;
}
div.boxtitle{
	font-size: larger;
	font-weight: bolder;
	margin: 16pt;
}

div.console{
	font-family: monospace;
	color: #FFFFFF;
	margin: 8px;
	padding: 8px;
	border-width: 16px 2px 2px;
	border-color: #3333DD #C0C0C0 #C0C0C0;
	border-style: solid ridge ridge;
	background-color: #000000;
}
span.consoleinput{
	color: #FFFF00;
	font-style: italic;
}
table.diff{
	font-family: monospace;
	font-size: smaller;
	margin: 32px;
	border-width: 3px;
	border-color: #003366;
	border-style: dotted;
}