@charset "UTF-8";

/* Solutions, product groups */

ul.solutions {
	font-size: 90%;
}

/* Applications */

ul.applications li a {
	font-size: 80%;
}