.commands {
	float: left;
	font-size: 11pt;
}

.commands button {
	font-size: 100%;
}

.cand_pre {
	margin: 0px; 
	padding: 0px; 
	font-size: 60%; /* % of grid_td */
	color: green;
}

dt {
	margin-top: 10px;
	font-style: italic;
	font-weight: bold;
}

.example_cand {
	margin: 0px; 
	padding: 0px; 
	font-size: 60%; /* % of grid_td */
	color: black;
}

.grid {
	border-collapse: collapse;
	empty-cells: show;
}

.grid_td {
	border: solid black 1px;
	color: #00F;
	text-align: center;	
	cursor: pointer;
	/*font-size: 200%;*/
	font-size: 150%;
}

.grid_row_label {
	border: solid black 1px;
	padding-left: 5px;
	padding-right: 5px;
	color: #FFFFFF;
	background-color: #CCC;
	text-align: center;
	font-size: 100%;
}

.grid_col_label {
	border: solid black 1px;
	color: #FFFFFF;
	background-color: #CCC;
	text-align: center;
	font-size: 100%;
}

.grid_top_left_corner {
	border: solid black 1px;
	border-bottom: solid black 4px;
	border-right: solid black 4px;
}

.grid_block_bottom {
	border-bottom: solid black 4px;
}

.grid_block_right {
	border-right: solid black 4px;
}

h1 {
	margin-top: 3em;
}

h2 {
	margin-top: 2.5em;
}

h3 {
	margin-top: 2em;
}

.sol_pre {
	margin: 0px; 
	padding: 0px; 
	font-size: 100%; /* % of parent font */
	color: blue;
}

.sol_table {
	border-collapse: collapse;
}

.sol_table td {
	border: 1px solid black;
	/* padding-left: 1em; */
}

.help_table {
	border-collapse: collapse;
}

.help_table th {
	text-align: left;
	vertical-align: top;
	background-color: #EEE;
	border-top: 1px solid black;
	padding-left: 10px;
}

.help_table td {
	text-align: left;
	vertical-align: top;
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	padding-left: 10px;
	padding-right: 20px;
}

.example_grid {
	float: left; 
	margin-right: 20px; 
	margin-bottom: 20px;
}

.example_text {
	/*vertical-align: top;*/
}

.expl_table {
	border-collapse: collapse;
	background-color: #EEE;
}

.expl_table td {
	text-align: left;
	vertical-align: top;
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	padding-left: 10px;
	padding-right: 20px;
}