.float-right {
	float: right;
}

hr {
	display: inline-block;
	width: 100%;
	margin: 20px 0px 20px 0px;
	border: 0 none;
	border-top: 1px solid #ccc;
}

.text-operational {
	color: #00a030;
}

.text-down {
	background-color: #c00030;
	color: #fff;
	padding: 5px 10px 5px 10px;
	border-radius: 8px;
}

.text-bigger {
	font-size: large;
}

h2.top-margin {
	margin-top: 40px;
}

.status-indent {
	margin: 20px 0px 20px 30px;
}

h4 {
	margin-top: 25px;
	margin-bottom: 10px;
}

.severity-0 {
	color: #00a030;
}

.severity-1 {
	color: #d07010;
}

.severity-2 {
	color: #c00030;
}