div#overview { padding-top: 13px; }

div.serverdesc span.state {
	font-weight: bold;
	text-decoration: underline;
}
div.serverdesc span.server, div.serverdesc span.code, div.serverdesc span.documentation { font-weight: bold; }

div#servertitle { padding: 20px 0 10px 0; }
div.serverdesc { padding: 10px 0 10px 0; }
div#MA { margin-bottom: 30px; }