#OpsAndCols {
	margin-left: 24px;
	margin-right: 24px;
	border-color: #FFF;
}
td {
	min-height: 1em;
	height: 1em;
	width: 32px;
	text-align: center;
}
#controls {
	margin: auto;
	padding: 0;
}
button {margin: 0 10px; padding: 10px;}
button i {padding: 10px;}
#buttons {
	position: relative;
	text-align: center
}
#atbottom {
	font-style: italic;
	font-size: 0.9em;
	position: absolute;
	bottom: 0px;
	right: 5px;
}
.colhint {
	font-weight: bold;
	background-color: #ddd;
	color: #333 !important;
}
.ui-tooltip {
	max-width: 750px;
}
#soroban {
	margin-top: 10px;
}
#timeout {
 text-align: right;
 padding-right: 2px;
}
#comment {
	text-align: center;
	margin-left: auto;
	margin-right: auto;
}
#top_soroban {
	margin-top: 15px;
	margin-left: auto;
	margin-right: auto;
}
.popover{
  max-width:1000px !important;
}