.boardstyle {
	border: none;
	border-collapse:collapse;
}

.boardstyle td {
	padding: 0px;
}

.boardArea {
	margin-top: 20px;
	padding: 1px;
	overflow-y: auto;
	overflow-x: auto;
	width: 840px;
	height: 600px;
}


.boardstyleCellBig {
	width: 55px;
	height: 55px;
}

.boardstyleCellSmall {
	width: 23px;
	height: 23px;
}

.boardstyleCellSmall td {
	padding: 0px;
}


.boardstyleCellExtraR {
	background-color: #e7dcff;
}

.boardstyleCellExtraH {
	background-color: #fffdcc;
}


.borderLEFT0, .borderRIGHT0, .borderTOP0, .borderBOTTOM0 {
}

.borderLEFT1 {
	border-left: solid black 1px;
}

.borderLEFT2 {
	border-left: solid black 2px;
}

.borderRIGHT1 {
	border-right: solid black 1px;
}

.borderRIGHT2 {
	border-right: solid black 2px;
}

.borderTOP1 {
	border-top: solid black 1px;
}

.borderTOP2 {
	border-top: solid black 2px;
}

.borderBOTTOM1 {
	border-bottom: solid black 1px;
}

.borderBOTTOM2 {
	border-bottom: solid black 2px;
}
.digitGrid {
	width: 100%;
}

.cellBig, .cellSmall {
	border: none;
	padding: 0px 0px 0px 0px;
	vertical-align: middle;
	margin: 0px 0px 0px 0px;
	border-spacing: 0px;
	border-color: white;
	text-align: center;
}

.cellSmall {
	height: 15px;
	width: 15px;
	font-size: 15px;
	margin-left: 5px;
}

.cellBig {	
	width: 20px;
	height: 20px;
	font-size: 20px;
	margin-left: 18px;
}


.highlight {
	background-color: #ffc24a;
}

.highlightEliminating {
	background-color: #0ffb1f;
}

.highlightEliminated {
	background-color: #ffca79;
}

.borderedTable {
	border: solid #6083ae 1px;
}

.gwt-MenuBar {
	background-color: #5b8dff;
}

.gwt-MenuItem, .gwt-MenuItem-selected {
	font-size: 18px;
	padding: 0px 3px 0px 3px;
}

.gwt-MenuItem-selected {
	background-color:#7badff;
}

.solver {
	margin-top: 0px;
	margin-left: 50px;	
	width: 100%;
}
.notVisible {
	visibility: hidden;
}

.visible {
	
}

.rightPanel {
	vertical-align: top;
	text-align: left;
}

.novisible {
		display: none;
		visibility: hide
}

.tableBorderBottom {
		border-bottom: solid black 1px; 
}

.groupLabel {
	font-weight: bold;
}

.title {
	font-size: 3em;
}

.blueLabel {
	color: #3C3DF0;
}

.pencilsAndDigit {
	width: 55px;
}

.pencils {
	height: 18px;
}

.pencils td {
	padding: 1px;
}

.pencils td div {
	font-size: 10px;
}

.dimmed {
	color: #CCCCCC;
}

@media screen {
	.cellInitiallyEmpty {
		color : #606060;
	}
}