#menubarS {
	background-color:#ccc;
	margin-left:auto;
}
.menuitemS {
	display:inline;
	cursor:pointer;
	padding-left:5px;
	padding-right:5px;
}
#serverlist {
	margin-left:50px;
	margin-right:50px;
}
.server {
	margin:10px;
	padding:5px;
	border:5px outset black;
	background-color:#efefef;
}
.server.active {
	border-color:green;
	background-color:#efffef;
}
.server.inactive {
	border-color:red;
	background-color:#ffefef;
}
.server h3 {
	margin-top:0px;
}
.server ul {
	margin-bottom:0px;
}