Replaced ‘hr’ elements with divs with border bottom for easier customization.

Replaced ‘hr’ elements with divs with border bottom for easier customization.
Replaced ‘abstraction_schema_name’ class with ‘abstractor_abstraction_schema_name’