textarea.submission {
	width: 100%;
	/* height: 200px; */
	background-color: #eeeeff;
}

input.submit-btn {
	background-color: #000076;
	color: #ffffff;
	font-weight: bold;
	margin-top: 5px;
	margin-left: 30px;
}


/*********************************************************/
/* this section is for the top of the page, explaining if this was a correct solution or not */

h1.iscorrect-header {
	font-size: 16px;	
}

h1.correct {
	color: #00a854;
}
h1.incorrect {
	color: #ec0000;
}


/*******************************************************/
/* this section is for the submission highlighting */

h5.your-submission {
	font-size: 16px;	
	color: #ec0000;
}
h5.results {
	font-size: 16px;	
	color: #ec0000;
}
h5.correct-results {
	font-size: 16px;	
	color: #00a854;
}

#highlighting {
	background-color: #eeeeff;
	width: 80%;
	font-family: monospace;
	font-size: 12px;
	margin-left: 10px;
}

#highlighting span.highlight-insert {
	cursor: help;
	color: red;
	font-weight: bold;
	font-size: 14px;
}

#highlighting span.highlight-revise {
	cursor: help;
	background-color: rgb(187, 187, 187);
	font-weight: bold;
}

#highlighting .highlight-delete {
	cursor: help;
	font-weight: bold;
	background-color: rgb(255,204,204);
}

#highlighting span.highlight-match {
}

/****************************************/
/* this section is for the compiler error code listing */

#compiler-error-msg {

}

#compiler-error-msg h5 {
	font-size: 16px;	
	color: #ec0000;
}

#compiler-error-msg .compiler-msg {
	/* background-color: #cccccc; */
	width: 95%;
	font-family: monospace;
	font-size: 8px;
	margin-left: 10px;
}

#compiler-error-msg .tc-code {
    background-color: #cccccc; 
	width: 95%;
	font-family: monospace;
	font-size: 8px;
	margin-left: 10px;
}
	
#compiler-error-msg .submission-code {
    background-color: #cccccc; 
	color: blue;
	width: 95%;
	font-family: monospace;
	font-size: 8px;
	margin-left: 10px;
}

#results-link {
	display: none;
}

.our-solution {
	font-weight: bold;
	color: #ffffff;
}

div.question-nav {
	float: right;
}

div.nav {
	margin-left: 100px;
} 

a.nav-link {
	background-color: #cccccc;
	color: #000000;
	font-size: small;
	text-decoration: none;
	font-weight: bold;
	border-top-left-radius: 10px 5px;
	border-top-right-radius: 10px 5px; 
	width: 100px;
}

a.nav-link-active {
	background-color: #ffffff;
}

/*start in demo mode, so many things are hidden*/
#loader {
	display: none;
}
#exercise {
	display: none;
}
#check {
	display: none;
}
#solutions{
	display: none;
}

#nav {
	display: none;	
}

button.question-nav-btn {
	background-color: #000076;
	color: #ffffff;
	font-weight: bold;
	font-size: small;
}

#prev-btn {
	display: none;
}

#instructions {
	margin-top: 5px;
	font-size: 12px;
}

#submission {
	margin-top: 10px;
	height: 80px;
}