Patch 5.4.2 fixes.
Minor improvements in GUI.
Restyle new fonts.