body {
	background: url('../images/background.png');
}


div.container {
	background: #fff;
	margin-top: 40px;
	margin-bottom: 40px;
	border-radius: 5px;
}


#header {
	background: #333;
	border-radius: 5px 5px 0 0;
	height: 40px;
	margin-bottom: 20px;
}

#header a:hover {
	text-decoration: none;
}

#header-auth {
	line-height: 40px;
}

#header-languages {
    line-height: 40px;
}

#header span {
	color: #ffffff;
}


#footer {
	height: 40px;
}
#footer div {

}


div#sql_body {
	white-space: pre;
}


div#instanceQueryModal .modal-dialog {
	width: 80%;
}


div#exercise_checker_result .exercise_result {
	overflow-x: auto;
}

/* Generic */
.overflow-x-auto {
	overflow-x: auto;
}

.whitespace-pre-line {
    white-space: pre-line;
}

img.ajax-loader {
    content: url("../images/ajax-loader.gif");
}

ul.ul-without-dots {
    list-style-type: none;
    margin: 0;
    padding: 0;
}
/* end Generic */