Fixes #83: div.tip backround is too dark.