/* 
 * ONO, Hiroki standard stylesheet version 1.1
 * original: Feb 2, 2001
 * revised : Feb 27, 2001 option stylesheet by CGI
 * NO SSI 
 *
 */
 
strong, em {
	font-style: normal;
	font-weight: bold;
}

div {
	margin: 0;
	padding: 0;
}

p {
	margin: 0 0 0.7em 0;
	padding: 0;
}

abbr {
	border-bottom: 1px dotted;
	border-color: #5A5A5A;
	font-variant: small-caps; 
}

input { 
	font-size: .9em;
	padding: 3px;
}

pre, samp, code {
	font-family: monospace;
}

dt {
	margin-top: 1em;
	margin-bottom: 0;
	margin-left: 1em;
	margin-right: 0;
	padding: 0;
}
dd { 
	margin-top: 0.2em;
	margin-bottom: 0.5em;
	margin-left: 2em;
	margin-right: 0;
	padding: 0;
}
dd p {
	margin: 0;
}


H1 { font-size: 1.8em;}
H2 { font-size: 1.6em; }
H3 { font-size: 1.17em; }
h4,
h5,
h6 {font-size: 1em;}

html {
	/* background-color: #ffffef; */
	background-color: #FAFAD2;
	color: #222222;
}

fieldset {
	border: 1px gray solid;
	margin: 0.5em;
	padding: 0.5em;
}

/* body */
body {
/*    background-color: #ffffef;
    color: #222222;*/
    margin-right: 2em;
    margin-left: 2em;
}

/* navi */
.focus {
	font-weight: bold;
	font-size: 1.5em;
}

.navi { 
	font-weight:bold;
    color: #696969;
    background-color: transparent;
    clear: both;
    font-size: 0.8em;
}

div.header {
    margin-left: 0em;
}

/* color of link */
a[href]		{text-decoration:	underline;}
a:link					{	color:#0000BB;	background-color:	transparent;}
.navi	a:link			{	color:#778899;	background-color:	transparent;}
.navi	a:visited		{	color:#996699;	background-color:	transparent;}
a:visited				{	color:#800080;	background-color:	transparent;}

/* clear */
h1,h2,
hr,address,
.subheading,
.mainheading,
.block,
.clearboth {clear: both;}

/* note */
.note {
	font-weight:bold;
    color: #000033;
    background-color: #DCDCDC;
    margin: 1em 3em 1em 3em;
    padding: 1em;
}

.supplement,
.bit {
    color: #5A5A5A;
    background-color: transparent;
    font-size: 0.8em;
}

del {
    color: #585858;
    background-color: transparent;
    font-size: 0.7em;
}
.sakebi {
	font-size: 1.8em;
}

p.sakebi {
	text-align: center;
	margin-top: 0em;
	margin-bottom: 0em;
}



/* .caption-box img title 
 * 2001 02 06 ONO, Hiroki onohiroki@cup.com
 */

.caption-box img[title]:after,
.caption-box-160 img[title]:after,
.caption-box-180 img[title]:after,
.caption-box-240 img[title]:after,
.caption-box-320 img[title]:after,
.caption-box-400 img[title]:after,
.caption-box-480 img[title]:after,
.caption-box-640 img[title]:after { 
	content: "\A"attr(title); 
} 


.image-comment {
	border: 1px gray solid;
	padding: 1em;
	margin-left: 1em;
	margin-bottom: 2em;
}

/* div.image-part
 * caption-box image 
 * IE5 Mozilla incompatibility
 */

/* div.caption-block and div.image-part and text */
.not-caption-block,
.caption-block {
	clear: both;
}

.caption-block > p {
	margin-top: 0px;
}

/* PAGE ID */
.pageidmini {
	color:#FFFFFF;     
	background-color: #000033;
	text-decoration: none;
}

.pageidmini a:link { 
	color:#FFFFFF;     
	background-color: #000033;
	text-decoration: none;
}

.pageidmini a:visited {
	color:#FFFFFF;     
	background-color: #000033;
	text-decoration: none;
}

.categoryheading{
	font-size: 1em;
	font-weight: normal;
	padding: 0em;
	border: 0;
}

/* list tile */
div.list-title{
	clear: both;
	padding: 0em;
	border-bottom: #DCDCDC thin solid;
	border-left: #DCDCDC thin solid;
	border-right: #DCDCDC thin solid;
	margin-left: 1.5em;
	margin-bottom: 1em;
	margin-right: 1.5em;
}

div.list-title  p{
	margin-left: 1.5em;
}

div.list-title li{
	margin-right: 1em;
}

div.list-title > p:first-child,
div.list-title > h3:first-child,
div.list-title > h4:first-child,
div.list-title > h5:first-child,
div.list-title > h6:first-child,
p.list-title,
h3.list-title,
h4.list-title,
h5.list-title,
h6.list-title {
	font-weight: bold;
	color: #000000;
	background-color: #DCDCDC;
	padding-left: 2em;
	padding-top: .5em;
	padding-bottom: .3em;
	margin: 0em;
}

.footer,
.top-line {
	margin-left: 0em;
	margin-top: 1em;
	padding-top: 1.5em;
	border-left-width: 0em;
	border-top: gray solid;
	clear: both;
}

div.footer hr {
	display: none;
	clear: both;
}

.boxed {
	margin: 8px;
	padding: 8px;
	border: 3px #DCDCDC solid;
}

/* program code */
.sourcecode {
	margin: 0.5em 0em 0.5em 0.5em;
	padding: 0.5em 0em 0.5em 1em;
	border: 3px #DCDCDC solid;
	background-color: white;
	color: black;
	font-family: monospace;
	overflow: auto;
}

.sourcecode ins {
	text-decoration:none;
}

.sourcecode del {
	background-color: white;
	color: #DCDCDD;
}

.mnotebook {
	margin: 0.5em 0em 0.5em 0.5em;
	padding: 0.5em 0em 0.5em 1em;
	border: 3px #DCDCDC solid;
	background-color: white;
	color: black;
	font-family: monospace;
	overflow: auto;
}

.mnotebook kbd{
	font-weight: bold;
}


.console {
	margin: 0.5em 3em 0.5em 3em;
	padding: 0.5em 1em 0.5em 1em;
	/*border: 3px #DCDCDC solid;*/
	/*background-color: #F3F3F3;
	color: black;*/
	background-color: #222222;
	color: #33DD33;
	font-family: monospace;
	overflow: auto;
}

pre {
	overflow: auto;
}
