body {
	font-family: sans-serif;
}
form {
	margin: 0;
}
h2 {
	margin-left: 200px;
	color: navy;
}
th.title {
	font-size: 14px;
}
a {
	color: #5050ff;
	text-decoration: none;
}
a:hover {
	text-decoration: underline;
}
#menu {
	border: 1px solid #a9a9a8;
	border-collapse: collapse;
	margin-right: 20px;
}
#menu th {
	background-color: #a9a9a8;
	padding: 1px 0;
	font-size: 13px;
	text-align: left;
}
#menu td {
	font-size: 12px;
	line-height: 17px;
}
#box {
	vertical-align: top;
	margin: 1px 3px;
}
#mini {
	margin: 1px 3px 0 50px;
}
.indented {
	padding-left: 10px;
}
#expression {
	border: 1px solid black;
	padding: 3px;
	background-color: yellow;
	color: blue;
	font-size: 20px;
}
.arrows {
	color: blue;
	font-family: monospace;
	font-size: 25px;
	font-weight: bold;
}
#standings {
	margin-top: 20px;
	border-top: 1px solid #cccccc;
	border-left: 1px solid #cccccc;
	border-right: 1px solid #333333;
	border-bottom: 1px solid #333333;
	background-color: cornsilk;
	font-size: 12px;
}
#standings td, #standings th {
	border-top: 1px solid #333333;
	border-left: 1px solid #333333;
	border-right: 1px solid #cccccc;
	border-bottom: 1px solid #cccccc;
	padding: 4px;
	text-align: center;
}
#standings td.flag {
	text-align: left;
}
#standings td p {
	margin: 0;
	padding-right: 1em;
	text-align: right;
}
.sortable {
	cursor: pointer;
}
.flag img {
	width: 35px;
	height: 18px;
	border: 1px solid silver;
	margin-right: 10px;
	vertical-align: middle;
}
#standings .repeat, #standings .nonrepeat {
	font-size: larger;
	text-align: left;
}
td.repeat {
	background-color: burlywood;
}
.top10 {
	background-color: burlywood;
}
.unranked {
	color: cornsilk;
}
.incomplete {
	color: silver;
}