.w3cbutton
{

	width: 9.5em;
	border: 1px solid #CCC;
	font-family: Helvetica, Arial, sans-serif;
	font-size: 70%;
	font-weight: bold;
}

.w3cbutton a
{
/*	display: block; */
	width: 100%; 
}

.w3cbutton span.spec, .w3cbutton a:link, .w3cbutton a:visited, .w3cbutton a:hover
{
	/* Dark Blue */
	background-color: #00305C;
	color: #EEE;
	text-decoration: none;
}

.w3cbutton span.w3c
{
	padding: 0 0.4em;
	background-color: #EEE;
	/* Medium Blue */
	color: #7896CF;
}

.w3cbutton span.spec { padding: 0 0.4em; }