#sidebar{
	float:left;
	font-size:12px;
	margin-left:1em;
	margin-top:1em;
	width:160px;
}

#main{
	margin-left:160px;
	margin-right:120px;
	padding:1em;
}

#bigtitle{
	text-align:center;
	font-size:24pt;
}

#subtitle{
	font-size:larger;
	font-weight:bold;
}

p{
	margin:0;
	padding:0.5em 1em 0.5em 1em;
}

table#title{
	width:100%;
}
td#title{
	padding:0;
}
table#basic{
	border-collapse:collapse;
	border:1px solid black;
}
td#basic{
	text-align:left;
	border:1px solid black;
	background-color:white;
	padding:0.5em;
}
th#basic{
	border:1px solid black;
	background-color:white;
	padding:0.5em;
}
table#define{
	margin-left:20px;
	font-family:monospace;
	font-size:14px;
}
div#kokoku{
	position:fixed;
	top:55px;
	right:10px;
}