html {
	height: 100%;
}
body {
	color: black;
	padding: 0;
	margin: 0;
	width: 100%;
	height: 100%;
}
a {
	color: #009;
}
#wrap,
#about {
	padding: 5px;
	margin: 0;

	position: absolute;
	top: 50px;
	bottom: 25%;
	left: 0;
	right: 0;

	background: #FFD;
}
#about {
	display: none;
	z-index: 1;
	padding: 10px 40px;
	font-size: 16px;
	font-family: sans-serif;
	overflow: auto;
}
#about p {
	max-width: 520px;
}
#about ul {
	max-width: 480px;
}
#about li {
	margin-bottom: 1em;
}
#code, #output, pre, .lines {
	/* The default monospace font on OS X is ugly, so specify Menlo
	 * instead. On other systems the default monospace font will be used. */
	font-family: Menlo, monospace;
	font-size: 11pt;
}

#code {
	color: black;
	background: inherit;

	width: 100%;
	height: 100%;
	padding: 0; margin: 0;
	border: none;
	outline: none;
	resize: none;
	wrap: off;
	float: right;
}
#output {
	position: absolute;
	top: 75%;
	bottom: 0;
	left: 0;
	right: 0;
	padding: 8px;
}
#output .system, #output .loading {
	color: #999;
}
#output .stderr, #output .error {
	color: #900;
}
#output pre {
	margin: 0;
}
#banner {
	display: flex;
	flex-wrap: wrap;
	align-items: center;
	position: absolute;
	left: 0;
	right: 0;
	top: 0;
	height: 50px;
	background-color: #E0EBF5;
}
#banner > * {
	margin-top: 10px;
	margin-bottom: 10px;
	margin-right: 5px;
	border-radius: 5px;
	box-sizing: border-box;
	height: 30px;
}
#head {
	padding-left: 10px;
	padding-right: 20px;
	padding-top: 5px;
	font-size: 20px;
	font-family: sans-serif;
}
#aboutButton {
	margin-left: auto;
	margin-right: 15px;
}
input[type=button],
#importsBox {
	height: 30px;
	border: 1px solid #375EAB;
	font-size: 16px;
	font-family: sans-serif;
	background: #375EAB;
	color: white;
	position: static;
	top: 1px;
	border-radius: 5px;
	-webkit-appearance: none;
}
#importsBox {
	padding: 0.25em 7px;
}
#importsBox input {
	flex: none;
	height: 11px;
	width: 11px;
	margin: 0 5px 0 0;
}
#importsBox label {
	display: flex;
	align-items: center;
	line-height: 1.2;
}

#embedLabel {
	font-family: sans-serif;
	padding-top: 5px;
}
#banner > select {
	font-size: 0.875rem;
	border: 0.0625rem solid #375EAB;
}
.lines {
	float: left;
	overflow: hidden;
	text-align: right;
}
.lines div {
	padding-right: 5px;
	color: lightgray;
}
.lineerror {
	color: red;
	background: #FDD;
}
.exit {
	color: lightgray;
}

.embedded #banner {
	display: none;
}
.embedded #wrap {
	top: 0;
}