body{
	color				: black;
	background-color	: white;
	margin-right		: 10%;
	margin-left			: 10%;
	font-size			: small;
}

address{
	text-align			: center;
	border-top			: 1px solid maroon;
	border-bottom		: 1px solid maroon;
	padding-top			: 2px;
	padding-bottom		: 2px;
}

div.date{
	margin-top			: 1em;
	text-align			: right;
}

h1{
	text-align			: center;
	font-size			: x-large;
	font-weight			: large;
	color				: gray;
	background-color	: white;
	margin-bottom		: 0em;
	border-bottom		: 1px solid slateblue;
}

h2{
	font-family   		: sans-serif;
	border-bottom		: 1px solid slateblue;
	border-left			: 0.5em solid greenyellow;
	background-color	: white;
	color				: seagreen;
	padding-bottom		: 1px;
	padding-left		: 0.5em;
	margin-top			: 1em;
	font-size			: medium;
}

div.subtitle{
	text-align			: right;
	border-bottom-style : solid;
	border-bottom-width	: 1px;
	margin-left			: 50%;
}

h3{
	font-size			: medium;
	background-color	: white;
	color				: black;
	border-left			: thick solid sandybrown;
	border-bottom		: 1px solid black;
	padding-left		: 0.5em;
	padding-top			: 0.2em;
}

h4{
	border-left			: 1px solid slateblue;
	border-bottom		: 1px solid slateblue;
	padding-left		: 0.5em;

}

div.navi{
	margin-left			: 50%;
	border-top-style	: dashed;
	border-bottom-style	: dashed;
	border-top-width	: 2px;
	border-bottom-width	: 2px;

	padding-top			: 3px;
	padding-bottom		: 3px;

	margin-top			: 3em;
	margin-bottom		: 1%;
	text-align			: center;
}


pre.code{
	margin				: 1em;
	padding				: 1em;
	border				: 1px solid gray;
	background-color		: #e0e0ff
}

strong.very{
	display				: block;
	font-weight			: bold;
	text-align			: center;
	margin				: 1em;
	font-size			: medium;
}

div.diary{
	margin				: 0.5em;
	padding				: 0 1em;
	border				: 1px solid silver;
}

div.paper{
	padding				: 1em;
	border				: 1px solid silver;
}
div.paper div.head{
	padding				: 0.5em;
	border				: 1px solid silver;
}

div.paper h5{
	text-decoration		: underline;
}