small pushbutton adjustment, about infobox fontsize fix