/* for all */
body{
	margin : 0px;
	line-height: 130%;
	background-color: #FFFFFF;
	font-size: small;
}

dl, ul, ol {
	margin-left: 5%;
}

/* title */
h1{
	font-size: 16px;
	font-weight:bold;
	margin: 20px;
	background-color: #EBF4FA;
	padding: 5px;
	text-align:left;
}

h2 {
	margin-top: 30px;
	padding-bottom: 3px;
	font-weight: bold;
	font-size: 14px;
	margin-left: 10px;
	border-bottom: #3d9ccc 2px solid
}

h3 {
	border-right: #7acccc 0px solid;
	border-top: #7acccc 0px solid;
	padding-left: 10px;
	font-size: 10pt;
	margin-left: 5%;
	border-left: #7acccc 12px solid;
	margin-right: 12%;
	border-bottom: #7acccc 2px solid
}


/* for all */
td{
	font-size: small;
	line-height: 130%;
}

li{
	line-height: 150%;
}

/* for all */
div{
	line-height: 130%;
}

/* to fix design */
td.fixed{
	font-size: 9pt;
}


/* the end of page navigation */
div.navigation{
	border-style: solid;
	border-width: 2px;
	border-color: #336699;
	padding: 5px;
	margin: 20px;
	margin-top: 50px;
}

/* header navigation */
div.navi{
	font-size : 10pt;
	padding : 2px 0px 2px 10px;
	margin: 0px;
	border-bottom: solid 1px #378FC0;
}

/* header search box */
div.search {
	margin: 30px;
	text-align: right;
}


/* top, bottom menu bar */
div.bar{
	margin: 0;
	padding: 10px;
}

/* bottom menu bar */
div#bottom{
	text-align: right;
	padding: 10px;
	border-top: solid 4px #378FC0;
}

/* top menu bar */
div#top{
	padding: 13px 0px 2px 15px;
	border-bottom: solid 4px #378FC0;
}

/* right part select box */
div.link{
	margin: 5px;
	padding: 0px;
	text-align: right;
}

form.link{
	margin: 0px;
	padding: 0px;
}

/* careful environment */
div.careful {
	border: #339933 4px dotted;
	padding: 10px;
	margin: 20px 60px;
}


/* jikkou environment */
div.jikkou {
	border: #336699 1px solid;
	padding: 0px 6px 0px 6px;
	margin: 10px 50px 3px 40px;
	color: #333333;
	font-size: medium;
	text-align: left;
}

/* shoshiki environment */
div.shoshiki {
	border: #CCCCDD 4px double;
	padding: 5px;
	margin: 20px 20px;
	text-align: left;
}

/* usual paragraph */
p {
	line-height : 150%;
	margin-left : 5%;
	margin-right : 5%;
}

/* design */
.small {
	font-size: 9pt;
}

/* design */
.smallest {
	font-size : 8pt;
}

/* design */
.key {
	font-size: 9pt;
	border: 1px solid #AAAAAA;
	border-width: 1px 2px 2px 1px;
	padding :1px 2px;
	margin :2px;
	background-color: #EEEEEE;
	font-family: monospace;
}


/* ##namazu## */
strong.keyword {
	color: #FF0000;
}
p.example {
	text-indent: 1em;
	color: Navy;
	font-weight: bold;
	font-family: monospace;
}

code {
	color: Navy;
	font-family: monospace;
}

code.example {
	color: Navy;
	font-weight: bold;
	font-family: monospace;
}

code.operator {
	color: Navy;
	font-family: monospace;
	font-weight: bold;
}

/* div result box */
.search_result_box {
	margin-left: 5%;
	width: 90%;
	line-height: 130%;
}

/* body of results */
.search_result_text_box {
	margin: 2px 0px 0px 3em;
}

/* which page is old */
.warn {
	font-size: 11pt;
	margin:20px;
	border-style: solid;
	border-width: 3px;
	padding: 8px;
	border-color: #FF5B5B;
}

/* above style title */
.warn_title {
	margin: 0 0 10px 0;
	font-size: 12pt;
	color: #FF5B5B;
}

/* figure caption title */
.caption {
	font-weight: bold;
	font-size: 9pt;
	margin: 5px;
}