I herd you liek Bootstrap

I’m actually ambivalent on the idea. On the one hand, it makes for
better experience for users who never take the time to set up their
preferences in their browser. On the other hand, it tends to override
preferences of advanced users.

I had to make three changes to the stock configuration:

* First, remove Helvetica Neue from the font stack. Too many
  Bootstrap-based sites include it as an embedded web font. Guys, if you
  want that font as a standard, lobby for it to be released under a
  permissive license and then for its inclusion in all relevant OSes.
  Until that, get off my lawn.
* Second, Bootstrap by default specifies font sizes in pixels. This poor
  practice has already led browser makers to declare that the pixel as a
  length unit is no longer tied to the physical element of the screen
  panel, instead it’s some arbitrary length. With the advent of high-DPI
  screens, which should be upon us this year, the pixel is no longer a
  relevant unit to base font size on. Instead, use points; better yet,
  use rems which will allow users to specify their preferred size in the
  browser settings. (And body text should be 1rem, no less, no more!)
* Fiddle a little with paddings and margins, so as to give better
  appearance to nested lists.