fix background colors on info boxes and general hilighting

See #2 and #3.