style: make the hr full width and slightly reduce the top/bottom margin

It looks nicer when teh horizontal lines flush.