Last evening and today, added a few more elements to the site’s CSS:

  • Keyboard keystrokes now stand out more with a small drop-shadow effect and the code font
  • Red arrow (same color as footnotes indicators) points to external links