Update to the latest bootstrap theme
install: Fix deps bullet list
install: Fix highlights
Add separations between sections
Override the theme

Some things in the theme just look bad, mostly the fact that
everything is as wide as possible.

This overrides some of the style.
Drop the hr workaround

This has always been ugly, but it's not unneeded with the
improved styling.