/* 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 {
<<<<<<< HEAD
	margin-top: 33px;
	font-family: "Ubuntu Mono";
=======
	margin-top: 50px;
	margin-left: auto;
	margin-right: auto;
	width: 80%;
	border: 1px solid;
>>>>>>> ed75a73032ad7ad2add13679f8a0289e256c0ec3
}

button {
    background-color:#4a6ca8;
    -moz-border-radius:7px;
    -webkit-border-radius:7px;
    border-radius:7px;
    border:1px solid #4e6096;
    display:inline-block;
    cursor:pointer;
    color:#ffffff;
    font-family:Arial;
    font-size:17px;
    padding:6px 16px;
    text-decoration:none;
    text-shadow:0px 1px 0px #283966;
}
button:hover {
    background-color:#476e9e;
}
button:active {
    position:relative;
    top:1px;
}



#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;
}

body {
font-family: "Open Sans";
}