body {
	font-family: monospace;
	font-size: 14pt;

	background-color: #14171d;
	color: #c7c6c3;

	margin: 20px;
}

.input_line {
	display: flex;
}

#prompt {
	margin-bottom: 100px;
}

#input {
	width: 100%;
}

#input:focus {
	outline: none;
}

div, pre {
	margin: 0;
	padding: 0;
}

#terminal {
	min-height: calc(100vh - 60px - 8px);
	padding: 10px;
	border: 4px solid #4d4754;
	border-radius: 6px;
}

a {
	color: #82bfb3;
}

a:visited {
	color: #82bfb3;
}

pre.err_msg {
	display: inline;
}

.error {
	color: #cc5c5c;
}

.prompt {
	color: #789ebf;
}