Fixing issue that was preventing the FilterInputWidget from resizing properly because the Branding String was too long. We now intercept the resize event, and set the string to an middle elided string. Also tweaking the fonts for some of the user interface elements. They looked bad on Windows.