@charset "utf-8";

body {	
	background-color: #000;
	color: #cf6;
	text-shadow: 0.1em 0 #060;
	font-family: sans-serif;
	font-weight: bold;	
}

button {
	display: block;
	width: 45%;
	background: rgba(54, 25, 25, .5);
	color: #cf6;
	border-color: #060;
	font-weight: bold;
}

#help, #run, #set, #dev {
	display: none;
}

#text {
	line-height: 150%;
}

.mo {
	font-family: monospace, "Courier New", Courier;
}

.ri {
	float: right;
}

.di {
	width: 45%;
}
