#tags button {
	margin: 0.15em;
}

#downloads a {
	margin: 0.15em;
}