body,td,a,div,.p {
	font-family: tahoma, arial, sans-serif;	
}

h1 {
	font-size: 3em;
}

div,td {
	color: #000000;
	font-size: 13px;
}

a:link,.w,.w a:link {
	color: #0000cc
}

a:visited {
	color: #551a8b
}

a:active {
	color: #ff0000
}

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

.boardstyleCellNormal {
	width: 25px;
	height: 25px;
	text-align: center;

	padding: 0px 0px 0px 0px;
	margin: 0px 0px 0px 0px;
	border-spacing: 0px;
}

.boardstyleCellBorder {
	border: solid black 1px;
	cursor:crosshair;
	background: #84ACFB;
}

.boardstyleCellSetByUser .cell {
	color: blue;
}

.boardstyleCellTokenBeginning {
	border: solid black 2px;
}

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

.boardstyleCellRB {
	border-right: solid black 1px;
}
.boardstyleCellTB {
	border-top: solid black 1px;
}
.boardstyleCellBB {
	border-bottom: solid black 1px;
}

.boardstyle TD {
	padding: 1px;
}

.tokenTable TD {
	padding-right: 50px;
}

.tokenCellLabel {
	cursor: crosshair;
}

.tokenCellLabelUsed {
	color: #CCCCCC;
}

.tokenCellLabelMarked {
	color: #FF3333;
}
		

.solver {
	margin-top: 20px;
	width: 100%;
}

.simpleButtonA a {
	background-color: #bfbcb0;
	text-decoration: none;
	color: black;
	padding-left: 5px;
	padding-right: 5px;
	border: solid black 1px;
}

.simpleButtonA a:hover {
	background-color: #E0E0E0;
}

.groupLabel {
	font-weight: bold;
}

.blueLabel {
	color: #3C3DF0;
}

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

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

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

.novisible {
		display: none;
		visibility: hide;
}

#title .gwt-Label, .title {
	font-size: large;
}

@media screen {
	.noprint_h {
		visibility: visible;
	}
}

@media print {
	.noprint_h,.leftPanel {
		display: none;
		visibility: hide;
	}
}