/* style.css */
/* 2015/11/27 */

body {
	margin:0px;
	padding: 0px;
	font-family: meiryo, arial, sans-serif;
	font-size: 14px;
	line-height: 1.6em;
	color:#404040;
 	background-color:lightgray;
}


/* div#base contains all the divs  */
div#base{
	width: 970px;
	margin: 0px auto 0px auto;/* centering */
	background-color: white;
	border-top: solid 1px lightgray;
	border-bottom: solid 1px lightgray;
	border-left: solid 1px lightgray;
	border-right: solid 1px lightgray;
	border-radius: 3px;
	box-shadow: 2px 2px 2px darkgray;

}

div#header{
	margin: 10px 10px 5px 10px;
	padding: 5px 0px 0px 3px;
	/*
	margin: 10px 15px 5px 10px;
	padding: 5px 0px 10px 0px;
	border: solid 1px lightgray;
	border-radius: 3px;
	*/
	/*box-shadow: 2px 2px 2px lightgray;*/
}

div#main{
	float: right;
	width: 685px;
	/*margin: 10px 5px 10px 10px;*/
	margin: 40px 5px 10px 10px;
	padding: 10px;
	border: solid 1px lightgray;
	border-radius: 8px;
	box-shadow: 2px 2px 2px lightgray;
	background-color: white;
}

div#sub1{
	float: right;
	width: 230px;
	margin: 10px 10px 10px 5px;
	padding: 0px;
	background-color: white;
}


div#footer{
	clear: both;
	margin: 15px;
	padding: 5px 5px 0px 5px;
	/*border: solid 1px lightgray;*/
	text-align: center;
	border-radius: 3px;
	/*box-shadow: 2px 2px 2px lightgray;*/

}


div.centering{
	text-align:center;
}

/* paragraph */
div#main p{
	margin: 10px 0px 10px 5px;
	padding: 0px;
}

div#sub1 p, div#footer p{
	margin-top: 0px;
}

div#header p{
	margin : 0px 0px 0px 10px;
}


/* make Toc() */
div#toc p.h1:before{
	content: "\25B7  ";
}
div#toc p.h1{
	/*font-size: 120%;*/
}
div#toc p.h2:before{
	margin-left: 1em;
	content: "\2212  ";
}
div#toc p.h3{
	margin-left: 4em;
}

div.stopfloat{	/* disable float */
	clear: both;
}

pre{
	margin:5px;
	padding: 5px;
	background-color: whitesmoke;
	border: solid 1px lightgray;
	border-radius: 3px;
	/*box-shadow: 1px 1px 0px lightgray;*/
	font-family: meiryo, arial, sans-serif;
}


/* titles */
h1 {
	text-align: center;
	/*margin: -11px -10px 0px -11px;*/
	margin-top: -40px;
	padding: 5px 5px 5px 15px;
	font-size: 120%;
	color: steelblue;
	/*border: solid 1px steelblue;*/
	/*border-radius: 3px;*/
	border-radius: 8px 8px 0px 0px;
	/*text-shadow: 2px 2px 2px lightgray;*/
}


h2{
	font-family: meiryo, arial, sans-serif;
	font-size: 120%;
	margin: 0px -10px 10px -10px;
	padding: .2em 0px .2em 0.5em;
	color: steelblue;
	/*border-left: solid 10px steelblue;*/
	/*border-radius: 8px;*/
	background-color: #dcdcdc;
}


h3{
	font-family: meiryo, arial, sans-serif;
	font-size: 120%;
	margin: 0px;
	padding: .2em 0px .2em 0px;	
	color: steelblue;
}

h4,h5 {
	font-family: meiryo, arial, sans-serif;
	font-size: 100%;
	text-decoration: underline;
	margin: 10px 5px 0px 5px;
	padding: 0px;
	font-weight: normal;
}


h5 {
	color: gray;
	text-align: center;
	margin: -5px 0px -7px 0px;
	text-decoration: none;
	/*font-weight: bold;*/
}


/* span */
span.title{
	/*font-family: arial, sans-serif;*/
	font-size: 150%;
	font-weight: bold;
}


/* itemize */
ul,ol{
	margin-top: 5px;
	margin-left: 5px;
	margin-bottom: 10px;
	padding: 0px;
	padding-left: 20px;
	/*border:solid 1px lightgray*/
}

ul li,ol li{
	padding-left: 3px;
	/*border:solid 1px lightgray*/
}

/* main menu */
ul.menu{
	margin: 0px 0px 10px 0px;
	margin-top: 30px;
	padding: 0px 5px 0px 5px;
	list-style-type: none;
	border-left: solid 1px lightgray;
	border-right: solid 1px lightgray;
	border-top: solid 1px lightgray;
	border-radius: 8px;
	box-shadow: 2px 2px 2px lightgray;
}

ul.menu li{
	margin: 0px;
	padding: 5px;
	line-height: 1.2em;
	border-bottom: solid 1px lightgray;
	background-color: white;
}

ul.menu li a{
	text-decoration: none;
}

ul.menu li.title{
	color: steelblue;
	font-family: meiryo, arial, sans-serif;
	font-weight: bold;
	font-size: 120%;
	/*margin: -1px -5px 0px -6px;*/
	margin-top:-29px;
	padding: 5px 0px 3px 0px;
	text-align:center;
	/*background-color: steelblue;*/
	border-bottom: solid 1px lightgray;
	border-radius: 8px 8px 0px 0px;
	/*text-shadow: 2px 2px 2px lightgray;*/
}

ul.menu li.title a{
	color: steelblue;
}

ol{
	counter-reset:li;
	list-style: none;
	padding: 0px;
}

ol li:before{
	content: "(" counter(li) ")";
	counter-increment: li;
	padding: 0px 10px 0px 0px;
}


/* Table */
table{
	margin: 10px 5px;
	/*border: solid 1px lightgray;*/
	border-top: solid 1px lightgray;
	border-left: solid 1px lightgray;
	border-spacing: 0px;
	line-height: 1.1em;
	border-radius: 3px;
}

table.centering{
	margin: 10px auto;
}

table.noborder{
	/*border-style:none;*/
	border-color:white;
}

table caption{
	padding: 0.2em;
}

table th{
	padding: 0.2em 0.2em;
	border-bottom: solid 1px lightgray;
	border-right: solid 1px lightgray;
	background-color: whitesmoke;
	color: steelblue;
}

table.noborder th{
	/*border-style:none;*/
	color: #404040;
	border-color:white;
	background-color:white;
}

table td{
	padding: 3px 5px;
	border-bottom: solid 1px lightgray;
	border-right: solid 1px lightgray;
}

table.noborder td{
	/*border-style:none;*/
	border-color:white;
}

table td.centering{
	text-align: center;
}


/* equation block */
div.equation{
	margin: 5px;
	padding: 0px 3px;
	background-color: whitesmoke;
	border: solid 1px lightgray;
	border-radius: 3px;
	/*box-shadow: 1px 1px 0px lightgray;*/
}



/* navigation bar */
div.navi{
	margin: 0px;
	margin-left: 10px;
	/*border: solid 1px lightgray;*/
	/*border-radius: 8px;*/
	/*box-shadow: 2px 2px 2px lightgray;*/
	/*background-color: steelblue;*/
}

div.navi a{
	float: left;
	color: steelblue;	
	width: 150px;
	height: 28px;
	margin: 0px 0px 0px 5px;
	padding: 10px 5px 5px 5px;
	line-height: 1em;
	font-size: 100%;
	font-weight: bold;
	text-align: center;
	text-decoration: none;
	border: solid 1px lightgray;
	border-radius: 5px;
	/*border-right: solid 1px lightgray;*/
	/*box-shadow: 1px 0px 0px lightgray;*/
}

div.navi a:active, div.navi a:hover{
	color: gold;
}

/* selected navigation bar */
div.navi a.on{
	color: gold;
}

a.fancy{
	text-decoration: none;
	/*color: inherit;*/
}

a.fancy:hover{
	text-decoration: underline
}


/* textarea */
textarea.stdout{
	width: 540px;
	height: 200px;

	margin: 0px;
	padding: 5px;
	font-size: 100%;
	font-family: "ms gothic";
	border: solid 1px #bbbbbb;
}


hr{
	height:10px;
	margin:0px -11px 20px -11px;
	border-top: none;
	border-bottom: solid 1px lightgray;
	border-left: solid 1px lightgray;
	border-right: solid 1px lightgray;
	border-radius: 0px 0px 8px 8px;
}


/* thumbnail */
figure.icon{
	line-height: 1.2em;
	float:left;
	width: 215px;
	height:175px;
	margin:5px;
}

figure.icon img{
	border: solid 2px darkgray;
	border-radius: 5px;
	width: 210px;
}

figure.icon img:hover{
	border: solid 2px red;
}

figure.centering{
	overflow: auto;
	padding: 10px;
	text-align: center;
	border: solid 1px lightgray;
	border-radius: 3px;
	/*display: table;*/
	/*margin:auto;*/
}