Make the hr tags more in-line with the layout

For the sake of consistency, let's stylize the hr tags just like the top
border of titles in the documentation.