#game-controls h3
{
	font-size: 20px;
	margin: 0;
}

fieldset
{
	border: none;
	padding: 0;
}

#run-box
{
	z-index: 10;
	position: fixed;
	background-color: var(--background);
	border: solid blue 5px;
	padding: 10px;
}

#run-container
{
	padding: 3px;
}

#run-controls
{
	padding: 3px;
}

#options-box
{
	padding: 3px;
}

.options-contents
{
    display: grid;
    grid-template-columns: 150px 24px 120px auto;
}

#records
{
	display: inline-block;
	vertical-align: top;
	margin-top: 10px;
	padding-left: 10px;
	padding-right: 10px;
	padding-bottom: 10px;
	background-color: #77BED8;
}

#records tr
{
	text-align: right;
}

.row-label
{
	text-align: left;
}

#records tr:nth-child(even) 
{
	background-color: #97DEFB;
}

#controls
{
	display: inline-block;
	padding-top: 10px;
}

.controls-contents
{
    display: grid;
    grid-template-columns: 100px 24px 120px auto;
}

#speed-group
{
	padding-top: 4px;
}

#game-controls
{
	padding-top: 5px;
	padding-inline-start: 0;
}

#toggle-description
{
	padding-top: 4px;
	padding-bottom: 4px;
}

.toggle-contents
{
	display: flex;
	flex-direction: column;
}

.toggle-room
{
	display: flex;
	flex-direction: row;
}

.toggle-title
{
	display: inline-block;
	padding-left: 2px;
	width: 160px;
}

#other-group
{
	margin: 5px;
}

#other-names
{
	display: inline-block;
	width: 440px;
}

.other-title
{
	display: inline-block;
	vertical-align: top;
	width: 120px;
	margin-right: 10px;
	padding: 2px;
}

.cold-colour
{
	background-color: #2C7BB6;
}

.hot-colour
{
	background-color: #D7191C;
}

.boolean-button
{
	display: inline-flex;
	flex-direction: row;
	background-color: lightsteelblue;
}

.boolean
{
	border: none;
	padding: 0;
	background-color: inherit;
}

.boolean-toggle
{
	align-content: center;
	padding-top: 0;
	padding-right: 0;
	padding-bottom: 0;
	padding-left: 0;
	background-color: inherit;
	width: 50px;
}

.open-state
{
	background-color: #4DAC26;
}

.closed-state
{
	background-color: #D01C8B;
}

button
{
	color: white;
}

button:disabled
{
	color: lightgray;
}

.control-value
{
	padding-top: 2px;
	padding-left: 6px;
	padding-right: 6px;
	width: 100px;
	margin-right: 10px;
	background-color: #2C7BB6;
	color: white;
}

#masks
{
}

#isolate
{
	
}

#depends-on-tests
{
	border: none;
	padding: 0;
	margin-left: 0;
	padding-inline: 0;
}