body {
	font-family: Helvetica, sans-serif;
	margin: 0;
	height: 100%;
}

nav {
	padding: 8px 5px 5px;
	height: 25px;
}

button {
	font-size: 15px;
}

#help-button {
	margin-left: 15px;
}

#run-label {
	margin-left: 2px;
	font-size: 12px;
}

main {
	display: flex;
	justify-content: stretch;
	height: calc(100% - 38px);
}

.textbox-container {
	display: flex;
	flex-direction: column;
	align-items: stretch;
	flex-grow: 1;
	padding: 10px;
}

.textbox-header {
	display: flex;
	align-items: center;
	justify-content: space-between;
	line-height: 1.5;
}

.textbox-label {
	font-size: 15px;
}

#run-as-async-label {
	font-size: 13px;
}

label {
	flex-grow: 0;
}

input[type=checkbox] {
	margin-top: 0;
	margin-bottom: 0;
}

iframe {
	border: 1px solid gray;
}

iframe, textarea {
	flex-grow: 1;
	margin: 5px 0;
	font-family: Monaco, Consolas, Inconsolata, monospace;
	font-size: 12px;
	resize: none;
}

textarea.error {
	color: red;
}

.editor-code {
	flex: 1;
}
