Fix for #747670 broke style editor naming

[Connor Carney]

When human-readable naming was moved to JavaScript, it broke naming in the style editor, e.g. div.red is now named "Red Section" instead of "Red", but editing the name adds "Section" again, renaming it "Red Section Section." We need separate functions for displaying the human-readable name ("Red") and the fully qualified name ("Red Section"). The style editor needs to use the former; this style menu needs to use the latter.