Tabbed format dialog allowing style name choice

(also new styles can be created)
I doubt it. 1.0 is remarkably tight line spacing for beginning readers..I think we default to 1.3, and some graphite fonts need more than that just to show all diacritics. In any case that would be a separate change...this list is moved, not added.