#description {
	border: 1px solid;
	padding: 16px;
	font-family: monospace;
	font-size: 20px;
	color:green;
	background-color: #000;
	margin-bottom:1em;
	border-radius:5px;
}


#output {
	border: 1px solid;
	padding: 30px;
	font-family: monospace;
	color:green;
	background-color: #000;
	margin-bottom:1em;
	border-radius:5px;

}

#title{
	font-family:'Dokdo', cursive;
	font-size:30pt;
	color:#7f7f7f;
}

.terminal_line {
	border-top: 1px dashed green;
}

.terminal_input {
	font-family: monospace;
	color: green;
	font-size: 20px;
	background-color: black;
	border: 1px solid green;
	border-radius:5px;
}


body {
	background-color: #000;
}