html {
	font-family: sans;
	height: 100%;
	padding: 0;
	margin: 0;
	width: 100%;
	height: 100%;
}
body {
	font-family: sans;
	height: 100%;
	padding: 0;
	margin: 0;
	width: 100%;
	height: 100%;
	background-color: #DFDFDF;
}
.topbar {
	margin: 0px;
	background-color: #2222FF;
}
.topbar .title {
	font-family: Verdana;
	margin-top: 0;
	margin-bottom: 5px;
	margin-left: 5px;
	padding-bottom: 5px;
	color: #F5F5F5;
}
#current-code {
	display: block;
}
#repl {
	display: block;
	min-width: 40em;
}

#body {
	min-width: 200px;
	margin: 20px;
}
#stack {
	display: block;
	margin-bottom: 10px;
}

#stack {
	border-collapse: collapse;
}
#stack tr td {
	border-bottom: 1px solid #888;
	padding: 3px;
}

.stack-entry {
	display: block;
}

.loading {
	color: #AAA;
}