Add sidebar styling; refine font stacks and colors.

The 2 commits below are almost identical. 9401e00 is newer. Possible to commit that and discard the other one if both commits can't be merged? There was some pilot error on my part.