html {
	background-color: black;
	color: white;
	margin: 0;
	padding: 0;
	font-family: sans-serif;
}

.layout {
	width: 100%;
	min-height: 100%;
	/* position: absolute;
	top: 0;
	bottom: 0;
	left: 0;
	right: 0; */
	display: grid;
	grid-template-rows: auto 1fr;
}

.editor {
	display: grid;
	grid-template-columns: 3fr 3fr 2fr;
}

.ast {
	overflow: auto;
}

.ast pre {
	font-size: 16px;
}

.code, .ast {
	border-right: 1px solid gray;
}

.ast, .options, .result {
	padding: 15px 20px;
}

.result {
	border-bottom: 1px solid gray;
	overflow-x: auto;
}

.result pre {
	font-size: 16px;
	white-space: pre-wrap;
}

.failed {
	opacity: 70%;
}

textarea, .code pre {
	tab-size: 4;
	-moz-tab-size: 4;
}

.error {
	position: absolute;
	right: 0;
	bottom: 0;
	background-color: rgb(90, 0, 0);
	padding: 1em;
	max-height: 50%;
	max-width: 50%;
	overflow: auto;
}

.error strong {
	border-bottom: 1px solid white;
}

.errorMessage {
	font-size: 16px;
	/* font-weight: bold; */
}

.errorStack {
	font-size: 14px;
}

h1 {
	font-size: 1.2em;
	margin-top: 0;
}

.optimizerOption {
	margin: .3em 0;
}

.optimizerOption input {
	vertical-align: text-top;
}

.optimizerOption label {
	font-size: .9em;
	margin-left: .5em;
}

.optimizerOption label .time {
	display: inline-block;
	font-weight: bold;
	min-width: 3.7em;
}
