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 types of changes to the stock configuration:

* Add Liberation Sans to the font stack. This is what Linux has, and
  without it the first available font is Helvetica, which by default
  maps to Nimbus Sans L which has horrible Cyrillic shapes and kerning.
  In the same vein, add Liberation Mono and Andale Mono (for Windows
  users) to the monospace font stack, otherwise it would specify
  Courier.
* Replace almost all pixel sizes with points. The poor practice of
  specifying pixel sizes 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!)
Symmetrize margins and paddings

Bootstrap by default specifies zero top margin and about half a line
height bottom margin. This leads to ugly nested lists when the top level
items contain paragraphs but the bottom level items do not, like here:

```markdown
* Lorem ipsum dolor sit amet

  * Consectetur
  * adipiscing
  * elit

* In mollis quam quis mi vehicula posuere.
```

* Lorem ipsum dolor sit amet

  * Consectetur
  * adipiscing
  * elit

* In mollis quam quis mi vehicula posuere.

----

To fix this, top margins and bottom margins need to be set to the same
amount for body text.