font of text(hyp names) in buttons is now a synced with the font of the proof window.
it creates ugly gaps b/w hypotheses .. i'm not in a mood to mess with java layout manager for now.