/* For standards browsers, tweaks list box font sizes */

div.itemlist ul {
	font-size: 130%;
}
div.linkdesc {
	font-size: 75%;
}