/**
 * Stylesheet für die Service-Seite
 */
 
div#button_lounge {
	float: right;
	margin-right: -8px;
}

div#button_servicewelt {
	float: right;
	margin-right: -8px;
	margin-top: 15px;
}

div.hint {
	border-color: #EE3B20;
	color: #EE3B20;
	background-color: #FFDDD8;
}