So, looks like this will be fixed with Java 7u80, now. However, from what I've been able to tell, that's not planned for release any time soon. The reason I'm bumping, though, is that I seem to have stumbled upon a workaround. With some of the recent changes to font size display in mafia, I...