div#argFloat {
	float: right;
	margin: 10px;
	margin-right: 5px;
	font-family: Verdana, Arial, sans-serif;
	font-size: x-small;
	background-color: #E1E8FF;
	border: 1px #999 solid;
	padding: 5px;
	font-weight: bold;
	text-align: center;
}
ul h3 { margin-top: 1em; margin-bottom: 1em; margin-left: -1em;}
div#argFloat ul#right {
	text-align: right;
}
div#argFloat ul {
	list-style: none;
	margin: 0;
	padding: 0;
}
div#argFloat ul li a {
	text-decoration: none;
	font-weight: normal;
	font-size: x-small;
}
div#argFloat span {
	font-weight: normal;
}
div#argFloat ul li a:hover {
	color: #000;
}
div#argFloat ul li a:visited {
	color: #036;
}
div#argFloat ul#second {
	list-style: none;
	margin: .5em;
	padding: 0;
}