#buttons {
	float:left;
	}

#buttons a {
	display:block;
	line-height:2em; /* IE happier if use line-height rather than margin */
	text-align:left;
	text-decoration:none;
	font-family:helvetica,arial,sans-serif;
	font-size:70%;
	font-weight:bold;
	}

#buttons span.first {
	padding:0.2em 0.3em 0 0.3em;
	border:solid #406480;
	border-width:1px 0 1px 1px;
}

#buttons span.second {
	padding:0.2em 0.3em 0 0.3em;
	border:solid #406480;
	border-width:1px 1px 1px 0;
}

#buttons .w3c .first {
	background-color:white;
	color:#0c479d;
	}

#buttons .w3c .c {
	background-color:white;
	color:#898E79;
	}

#buttons .w3c .second {
	background-color:#FFCC66;
	color:black;
	}

#buttons .php .first {
	background-color:#525288;
	color:white;
	}

#buttons .php .second {
	background-color:#767C66;
	color:white;
	}

#buttons .mac .first {
	background-color:white;
	color:#505050;
	}

#buttons .mac .second {
	background-color:#505050;
	color:white;
	}