body { 
	padding-top: 70px; 
	min-width: 768px;
}

textarea { 
	font-family: Consolas,Monaco,'Lucida Console','Liberation Mono','DejaVu Sans Mono','Bitstream Vera Sans Mono','Courier New', monospace;
}

#program {
	line-height: 1.2;
}

#output {
	cursor: auto;
	line-height: 1.1;
	background: #1C1C1C;
	color: #E6E6E6;
	overflow: auto;
}

@-moz-document url-prefix() {
  fieldset { display: table-cell; }
}

/* Generated with TWBS Color */
.navbar-default {
	background-color: #28282a;
	border-color: #515151;
}
.navbar-default .navbar-brand {
	color: #e4eaf0;
}
.navbar-default .navbar-brand:hover, .navbar-default .navbar-brand:focus {
	color: #aaa9ab;
}
.navbar-default .navbar-text {
	color: #e4eaf0;
}
.navbar-default .navbar-nav > li > a {
	color: #e4eaf0;
}
.navbar-default .navbar-nav > li > a:hover, .navbar-default .navbar-nav > li > a:focus {
	color: #aaa9ab;
}
.navbar-default .navbar-nav > .active > a, .navbar-default .navbar-nav > .active > a:hover, .navbar-default .navbar-nav > .active > a:focus {
	color: #aaa9ab;
	background-color: #515151;
}
.navbar-default .navbar-nav > .open > a, .navbar-default .navbar-nav > .open > a:hover, .navbar-default .navbar-nav > .open > a:focus {
	color: #aaa9ab;
	background-color: #515151;
}
.navbar-default .navbar-toggle {
	border-color: #515151;
}
.navbar-default .navbar-toggle:hover, .navbar-default .navbar-toggle:focus {
	background-color: #515151;
}
.navbar-default .navbar-toggle .icon-bar {
	background-color: #e4eaf0;
}
.navbar-default .navbar-collapse,
.navbar-default .navbar-form {
	border-color: #e4eaf0;
}
.navbar-default .navbar-link {
	color: #e4eaf0;
}
.navbar-default .navbar-link:hover {
	color: #aaa9ab;
}

@media (max-width: 767px) {
	.navbar-default .navbar-nav .open .dropdown-menu > li > a {
		color: #e4eaf0;
	}
	.navbar-default .navbar-nav .open .dropdown-menu > li > a:hover, .navbar-default .navbar-nav .open .dropdown-menu > li > a:focus {
		color: #aaa9ab;
	}
	.navbar-default .navbar-nav .open .dropdown-menu > .active > a, .navbar-default .navbar-nav .open .dropdown-menu > .active > a:hover, .navbar-default .navbar-nav .open .dropdown-menu > .active > a:focus {
		color: #aaa9ab;
		background-color: #515151;
	}
}
/* End of Generated with TWBS Color */