GUI generator for TeX styles and other uses