More style and template changes.
- Pre/code and sup styles, and ligatures in header (#1).
- Make nav list into links (#2).