/* 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 {
	font-family: "Ubuntu Mono" !important;
	margin-top: 50px;
	margin-left: 25%;
	width: 80%;
	border: none;
	word-wrap: break-word;
}
.CodeMirror-cursor {
    border-color: #ffc40d !important;
}

.CodeMirror-code, .CodeMirror {
    background-color: transparent !important;
}

.CodeMirror pre {
	font-family: "Ubuntu Mono" !important;
	font-size:14px;
	line-height: 1.3em;
}

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:12px;
    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: block;
	width: 48%;
	list-style: none;
	margin: 5px;
	padding: 5px;
	font-family: "Ubuntu Mono" !important;
}

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

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