h1 {
	font-size: larger;
	margin-top: 1em;
	margin-bottom: 1em;
}

#menu_bar {
	background-color: #f0f0f0;
}

.box {
	margin-left: auto;
	margin-right: auto;
	padding: 1em;
	border: 1px solid #008080;
	background-color: #f0ffff;
	text-align: left;
}

table {
	margin-left: auto;
	margin-right: auto;
	text-align: left;
	background-color: #f0ffff;
}

.normal_tbl .softname_row {
	background-color: #e0e0ff;
	color: #000000;
}

.normal_tbl th {
	text-align: center;
	background-color: #000080;
	color: #ffffff;
}

.light_color {
	color: #808080;
}