/* =font resizing stuff:
 * ================================================== */
.fontresize {
	display: none; /* hide from non-Javascript browsers */
}

#small { font-size: 100%; }
#large { font-size: 120%; }

#small a, #large a
{
	width: auto;
	padding: 0.2em 0.5em;
}