fix 237; less space between text and names of axioms
Merge branch 'staging' into issue190-optimize_ontology_title_bar