body {
  min-height: 100%;
  padding-top: 70px;
}
.problemtag {
    float: right; font-size: 1.1rem; padding-top: 1px; text-align: right;
}

#editor {
	max-height: 250px;
	height: 250px;
	background-color: white;
	border-collapse: separate; 
	border: 1px solid rgb(204, 204, 204); 
	padding: 4px; 
	box-sizing: content-box; 
	-webkit-box-shadow: rgba(0, 0, 0, 0.0745098) 0px 1px 1px 0px inset; 
	box-shadow: rgba(0, 0, 0, 0.0745098) 0px 1px 1px 0px inset;
	border-top-right-radius: 3px; border-bottom-right-radius: 3px;
	border-bottom-left-radius: 3px; border-top-left-radius: 3px;
	overflow: scroll;
	outline: none;
}

.ac { background: #e1ffb5; }
.firstac { background: #080; color: white !important; font-weight: bold; }
.fail { background: #ffdada; }
.pending { background: #c8d6fa; }