body {
	font-family: sans-serif;
	color: black;
	background: white;
}
hr { color: #ccccff; }
p {
	margin-top: 0em;
	margin-bottom: 0em;
	/*
	font-family: monospace;
	line-height: 1.75em;
	margin-top: 0.2em;
	margin-bottom: 0.2em;

	margin-top: 0.6em;
	margin-bottom: 0.6em;
	line-height: 175%;	 for CJK
	font-family: monospace;	 for CJK
	*/
}
dt { font-weight: bold }

h1, h2, h3, h4, h5, h6 {
	text-align: left;
	margin-bottom: 0;
}
h1, h2, h3 { color: #005A9C; }
h1 { font: 170% sans-serif /* xx-large */ }
h2 { font: 140% sans-serif /*  x-large */ }
h3 { font: 120% sans-serif /*    large */ }
h4 { font: bold 100% sans-serif }
h5 { font: italic 100% sans-serif }
h6 { font: small-caps 100% sans-serif }

h1.title, h2.title, h3.title { color: #CC0000; }

a:link    { color: #00C; background: transparent; text-decoration: none; }
a:visited { color: #609; background: transparent; text-decoration: none; }
a:visited.current { color: #CC0000; text-decoration: none; }
a:active  { color: #F00; background: transparent; text-decoration: none; }
a:active.current { color: #F00; text-decoration: none; }
a:hover   { color: #F00; background: #ffa; text-decoration: none; }
a:hover.current   { color: #F00; background: #ffa; text-decoration: none; }


div.logo {
	text-align: left;
	font-family: cursive;
	font-weight: bold;
}
span.logo {
	font-size: 200%;	/* xxx-large; */
	font-style: italic;
}

div.navbar {
	font-size: 90%;	/* small; */
}

div.toc {
	/*border-bottom: thin solid #ccccff;*/
	font-size: 90%;	/* small; */
	margin-top: 0;
	margin-bottom: 1.2em;
	margin-left: 0;
	margin-right: 5%;
}
div.toc .title {
	margin: 0;
	/*background-color: #ccccff;*/
	font-family: cursive;
	font-weight: bold;
}
ul.toc, ol.toc, dl.toc {
	margin-top: 0em;
	margin-bottom: 0.6em;
	margin-left: 3em;
}
div.toc p {
	margin: 0;
	font-size: 80%; /* x-small */
}
div.toc p.toc {
	font-size: 90%; /* small */
	margin-top: 0em;
	margin-bottom: 0.6em;
	margin-left: 3em;
}

dt.tocline {
	margin-left: 3ex;
}

div.copyright {
	font-size: 90%;	/* small; */
	margin: 0;
}
div.copyright .title {
	/*border-bottom: thin solid #ccccff;*/
	/*text-align: center;*/
	font-family: cursive;
	font-weight: bold;
	/*background-color: #ccccff;*/
	margin: 0;
}
p.copyright {
	background-color: #ffffff;
	margin: 0.6em;
	margin-top: 0em;
	font-family: serif;
	text-align: left;
}

div.author, div.created, div.modified {
	font-size: 80%; /* x-small; */
	font-family: cursive;
	font-style: italic;
}

form.search {
	margin: 0em;
	/*
	border-bottom: thin solid #ccccff;
	margin-top: 0;
	margin-bottom: 5%;
	margin-left: 0;
	margin-right: 5%;
	padding-top: 0.6em;
	padding-bottom: 0.6em;
	padding-left: 3ex;
	*/
}
form.search div.button {
	text-align: right;
	margin-right: 3ex;
}

/*	‚Ä‚·‚Æ	*/
pre.screen {
	color: #00ff00;
	background-color: black;
	font-size: 90%; /* small; */
	margin-top: 0.6em;
	margin-bottom: 0.6em;
	margin-left: 2em;
	margin-right: 2em;
	padding-left: 0.6em;
}
pre.source {
	color: white;
	background-color: midnightblue;
	font-size: 90%; /* small; */
	margin-top: 0.6em;
	margin-bottom: 0.6em;
	margin-left: 2em;
	margin-right: 2em;
	padding-left: 0.6em;
}
td.nowrap {
	white-space: nowrap;
}