<hr/> instead of div's for gray-line and line

The <hr/> tag is designed especially for a horizontal line, learnt that
the night before I left Cambridge and never actually implemented it.
Now it's better. :)))