(untitled)

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