Style HR #49
Description
<hr> by default (TODO: confirm in various browsers) is shown as a zero-height box with 1px borders. That means the top and bottom borders combine to give it a 2px thickness, which is perhaps too strong. Maybe we should e.g. remove the top (or bottom) border, leaving it with 1px width.