div#main_wrapper {
        font-size:90%;
}


div#user_options dt {
	font-size:90% !important;
}