Small bugfixes; smaller fonts; proper centering of windows