Bootstrap 3 fixes

* Use the new alert pattern
* Use the new muted class pattern for muted links
* Correct the font size in the header