h1, h2 { clear: both; font-variant: small-caps; margin-right: 20%; padding-top:    0.5em; }
h1 { 
	border-top:	solid thick #abafb5;
	border-left:	solid #abafb5;
	padding-left:	5ex;
	}
h2 {
	border-top:	solid #abafb5;
	border-left:	solid thin #abafb5;
	padding-left:	3ex; 
	margin-top:	2em;
	}
code { font-variant: normal; }
div.board { float: left; margin: 1em; line-height: 0em; }
div.board p { line-height: 1.2em; }
div.info { margin: 2em; }
input { margin: 0.1em; }
.gamemove { wrap: nowrap; font-weight: bolder; }

.red  .player  { background-color: #ffdddd; color: #ff2222;}
.blue .player  { background-color: #ccddff; color: #2222ff;}
th { background-color: #666666; color: #ffffff; }
td { text-align: right; padding: 0.1em 0.75ex; background-color: #eeeeee; color: #000000; }
td.player { text-align: left; }
td.score  { width:  10ex; }
td.time   { width:  15ex; }
td.pendulum { vertical-align: bottom; }

pre {
	margin: 0ex;
	padding: 0.5ex;
	border: thin solid #884488;
	background-color: #ffeeff;
}