.possibilities-entry {
	FONT-SIZE: 12px !important
}
.spacer {
	WIDTH: 15px
}
.control-button {
	border: 1px solid #b3dac9;
	background: none;
	MARGIN: 0.1em; WIDTH: 200px;
	padding: 2px 0px;
	font-size: 12px;
	color: #04854c;
}
DIV#pen-picks INPUT {
	WIDTH: 30px
}
#selected-pen-number {
	FONT-WEIGHT: bold
}
#control-area LABEL {
	PADDING-RIGHT: 10px; FONT-WEIGHT: bold;
	font-size: 12px;
}
#control-area {
	padding: 0px 0px 0px 20px;
	width: 200px;
}
.pen-picked {
	CURSOR: hand
}
#pen-tool {
	TEXT-ALIGN: center
}
#pen-tool INPUT {
	BORDER-BOTTOM: #ccc 1px solid; BORDER-LEFT: #ccc 1px solid; BORDER-TOP: #ccc 1px solid; BORDER-RIGHT: #ccc 1px solid
}
.problem-cell {
	COLOR: #f00
}
#timer {
	FONT-WEIGHT: bold;
}
#pause-hider {
	POSITION: absolute; TEXT-ALIGN: center; WIDTH: 320px; DISPLAY: none; BACKGROUND: #fff; HEIGHT: 345px; VERTICAL-ALIGN: middle; TOP: auto; LEFT: auto
}
.print-only {
	DISPLAY: none
}
.box {
	WIDTH: 120px; BACKGROUND: #ddd
}
TABLE.root-table {
	BORDER-BOTTOM: #fff 1px solid; BORDER-LEFT: #fff 1px solid; BACKGROUND-COLOR: #000; BORDER-TOP: #fff 1px solid; BORDER-RIGHT: #fff 1px solid
}
TABLE.root-table TD {
	BACKGROUND: #fff
}
TABLE.root-table INPUT {
	BORDER-BOTTOM: #fff 0px solid; BORDER-LEFT: #fff 0px solid; BACKGROUND-COLOR: #fff; WIDTH: 30px; FONT: 24px bold; BORDER-TOP: #fff 0px solid; BORDER-RIGHT: #fff 0px solid
}
.line-v {
	BACKGROUND-COLOR: #c8c8c8
}
.line-h {
	BACKGROUND-COLOR: #666
}

#pen-tool a	
	{
	color: #04854c;
	font-size: 12px;
	}
	
#timer_control
	{
	color: #ff0000;
	font-size: 12px;
	background: none;
	border: 1px solid #ffa7a7;
	}
	
select
	{
	font-size: 12px;
	background: none;
	border: 1px solid #04854c;
	margin: 10px 0px 0px 0px;
	}