GUI: font options, tabs, headers