type/css/main.css

/* General */
.error {
	border: 1px solid red;
	border-radius: 3px;
	background-color: rgba(255, 0, 0, 0.5);
	padding: 5px;
	font-size: 2em;
	font-family: "Helvetica", Arial, sans-serif;
}

/* Type */
.invalid {
	background-color: red;
	color: white !important;
}

.incomplete {
	color: gray !important;
}

#editor {
	display: none;
	width: 100%;
	height: 100%;
}

#toolbar {
	position: absolute;
	left: 0;
	top: 0;
	width: 100%;
	padding: 7px;
	height: 20px;
}

#toolbar > #info {
	float: right;
	margin-right: 14px;
}

#toolbar > #info > #paused {
	font-weight: bold;
}

#content {
	margin-top: 33px;
}

#content.paused > .CodeMirror {
	opacity: 0.5;
}

/* Index */
.prev-list {
	padding: 0px;
	margin: 0px;
}

.prev-list > li {
	display: inline-block;
	width: 48%;
	list-style: none;
	margin: 5px;
	padding: 5px;
	border: #CCC 1px solid;
	border-radius: 3px;
}

.prev-list > li > a,
.prev-list > li > a:visited {
	text-decoration: none;
	color: blue;
}