div.dropdown {
	margin: 0;
	padding: 0;
	width: 10em;
	float: left;
	margin-right: 1em;
	font-size: 80%;
	font-weight: bold;
}

div.dropdown ul {
	list-style: none;
	margin: 0;
	padding: 0;
	border: 1px solid black;
	border-top: 0;
	display: none;
}

div.dropdown span {
	display: block;
	border: 1px solid #e34;
	background: white;
	text-align: center;
}

div.dropdown:hover span {
	border: 1px solid black;
	background: #be2;
}

div.dropdown span:after {
	content: "...";
}

div.dropdown:hover span:after {
	content: "";
}

div.dropdown li {
	padding: 0;
	font-size: 90%;
}

div.dropdown:hover ul {
	display: block;
	background: white;
}

div#commands a { 
	display: block;
	font-weight: bold;
	color: black;
	border: 1px solid white;
	text-decoration: none;
	padding-left: 0.3em;
}

div#commands a:hover {
	border: 1px outset #000;
	background: #be2;
}

div#commands a:active {
	border: 1px inset #000;
}

