clean up some gui uglies, particularly the weird font issue on windows cutting of the last letter of anything italics