@charset "euc-jp";

a:link {
	text-decoration: none;
	color: #006699;
}
a:visited {
	text-decoration: none;
	color: #cccccc;
}

a:active {
	text-decoration: none;
        color: #ff0;
}

a:hover, a:focus {
	color: #000;
        text-decoration: underline;
}

body {
	background-color: #fff;
	color: #000;
        border-style: none;
        border-color: #cccccc;
        border-width: 8px;
        margin: 4% 4% 4% 4%; 
}

p,form {
    margin-left:  0.4em;
    margin-right: 0.4em;
}

h1 {
	text-align: left;
        font-size: 200%;
        color: #000;
        font-weight: bold;
}

h2 {
	margin-top:    1.0em;
	margin-bottom: 0.2em;
	margin-right:  0.2em;
	margin-left:   0.2em;
	padding: 3px;
        font-size: 140%;
        border-color: #99cccc;
        border-width: 0px 0px 1px 0px;
        border-style: solid;
}

h3 {
	margin-top:  0.5em;
	margin-bottom: 0.2em;
	margin-left:   0.2em;
	margin-right:  0.2em;
	padding: 3px;
	font-size: 100%;
	border-style: dotted;
        border-color: #99cccc;
        border-width: 0px 0px 1px 0px;
}

div.section p {
	line-height: 1.3em;
	margin-left: 10px;
}

div.section p a, a:visited{
        color: #006699;
}

pre {
	margin-left: 2%;
	margin-right: 2%;
	white-space: pre;
	width: 93%;
	padding: 5px;
	border-style: double solid double solid;
	border-color: #cccccc;
	overflow: auto;
	border-width: 1px 1px 3px 1px;
        background-color: #fcfcfc;
        color: #000;
}

ul, li {
	list-style-type: disc;
}

dl, ol {
	margin-left:   0.8em;
	margin-right:  0em;		
}

hr {
	border-style: solid;
	border-width: 1px 0px 0px 0px;
	border-color: #ddd;
}

hr.sep {
	display: none;
}

textarea {
	margin-left: 1em;
	width: 90%;
	border-style: solid solid solid solid;
	border-color: #cccccc;
	border-width: 1px 1px 1px 1px;
}

div.body dl {
	margin-left: 2em;
}

div.body dt {
	margin-bottom: 0.2em;
	font-weight: bold;
}

div.body dd {
	margin-left: 1em;
	margin-bottom: 0.5em;
}

div.body blockquote {
        border-width: 3px 0px 1px 0px;
	border-style: solid solid solid solid;
	border-color: #191970;
	background-color: transparent;
        color: #191970;
        font-style:italic;
	padding: 8px;
}

table {
        font-size: smaller;
	margin-left: 0.4em;
	margin-right: 0.4em;
        line-height: 100%;
        border-width: 1px;
        border-color: #ccc #999999 #999999 #ccc;
        border-style: solid;
        background-color: #fcfcfc;
        color: #000;
        padding: 1px;
}

div.main {
	width: 80%;	
	float: left;
}

div.sidebar {
	float: right;
	width: 19%;
        border-style: solid;
	margin-left: 1%
	margin-top: 0.5em;
        border-width: 0 0 0 0px;
}

div.sidebar li { font-size: smaller; 	list-style-type: disc; margin-left: -0.8em; }
div.sidebar h2 { font-size: 90%;
	        border-width: 0px 0px 1px 0px;
		}
div.sidebar h3 { font-size: 90%; }
div.book {
	 margin-top: 1em;
	 margin-bottom: 1em;	 	 
	 margin-right: 20%;
	 margin-left: 20%;
	 width: 60%;
	 height: 60%;	 
	 float: center;
}