body {
	font-family: times;
}

Xa, Xa:visited {
}

.top_menu, .bottom_menu {
	font-family: times;
	font-size: smaller;
	border: 1px solid;
}

.top_menu {
	position: fixed;
	top: 0;
}

.bottom_menu {
	position: fixed;
	bottom: 0;
}

.customizer {
	visibility: hidden;
	position: fixed;
	top: 24px;
	right: 0;
	font-size: smaller;
}

select.customizer_select {
	font-size: smaller;
}

a.top_menu_a, a.bottom_menu_a {
	text-decoration: none;
}

a.top_menu_a:hover, a.bottom_menu_a:hover {
}