body{
	font-family:monospace;
	font-size:14px;
}
table{
	border-collapse:collapse;
	font-size:16px;
	margin:auto;
}
thead{
	font-weight:bold;
	font-size:18px;
}
thead td{
	padding:8px;
}
tbody td:first-child{
	font-weight:bold;
	text-align:left;
}
tbody td{
	padding:5px;
}
#header{
	text-align:center;
	height:64px;
}
#header > a{
	display:inline-block;
	text-decoration:none;
	float:left;
	font-size:24px;
	padding:8px 16px 8px 16px;
	margin-top:23px;
	border-bottom:none;
}
#asteroids_title{
	display:inline-block;
	float:left;
	padding:16px;
	font-size:36px;
	margin-right:64px;
}
#game{
	position:relative;
	margin:auto;
	margin-top:16px;
	width:1080px;
	height:810px;
}
#menu{
	position:absolute;
	width:100%;
	height:100%;
	top:0;
	left:0;
	display:none;
	font-family:monospace;
}
#menu_title{
	position:absolute;
	font-size:48px;
	cursor:default;
	text-align:center;
}
#logo{
	height:64px;
	width:64px;
	float:left;
}
#theme_select{
	text-align:center;
	margin:16px;
}
#history{
	width:1080px;
	margin:auto;
	margin-top:16px;
	text-align:justify;
}
.menu_group{
	position:absolute;
}
.small_menu_button, .menu_button, .small_menu_input, .menu_input{
	position:absolute;
	text-align:center;
	box-sizing: border-box;
	-moz-box-sizing: border-box;
	-webkit-box-sizing: border-box;
}
.small_menu_button, .menu_button{
	cursor:pointer;
}
.small_menu_button, .small_menu_input{
	font-size:24px;
}
.menu_button, .menu_input{
	font-size:32px;
}
input[type=text]{
	border:1px solid;
	font-family:monospace;
	height:24px;
	background:none;
}
.small_menu_button:hover, .menu_button:hover, .link_button:hover, #highlighted:hover{
	border-style:inset;
}
.small_menu_button p, .small_menu_input p{
	margin:8px;
}
.menu_button p, .menu_input p{
	margin:12px;
}