html {
	height: 100%;
}

div.exssn {
	color: #000076;
	font-weight: bold;
}

div.horizontal-bar-ok {
	width: 100%;
	background-color: #006633;
}
div.horizontal-bar-err {
	width: 100%;
	background-color: #ec0000;
}

#loader {
	width: 100px;
	margin: auto;
	margin-top: 150px;
}

/***************************************/

div.vertical-5 {
	height: 5px;
}
div.vertical-10 {
	height: 10px;
}
div.vertical-15 {
	height: 15px;
}
div.vertical-20 {
	height: 20px;
}
div.spacer-5 {
	margin-bottom: 5px;

}
div.spacer-10 {
	margin-bottom: 10px;

}