shamelessly rip-off github's CSS for highlighted area