.tabslist {
	font-family: "Courier New", Courier, mono;
	font-size: 10pt;
	font-style: normal;
}