NFLabs/zeppelin — pull request #170 by corneadoug (2014-10-23 03:04:13+00:00)
Title: Change text highlight color so we can see the text

When we highlighted the text, we couldn't see the text since background-color was applied on top of it.
This resolve the problem by adding some alpha to the color