Better bootstrap integration

[freshstrangemusic]

We're nominally using bootstrap, but we do a bunch of custom CSS. We should try to integrate more tightly, e.g., using our colours as a bootstrap theme.