Add separation lines between axioms

[ykazakov]

When axioms in justifications wrap on new lines, it is difficult to distinguish between axioms and fragments of axioms, particularly because the axioms in justifications can be indented:

In Protege frames, axioms are separated by thin lines to prevent such a confusion:

Something like that should be used here