.disc {
	font-size: 9pt;
	font-weight: bold;
}