Some color changes

List of changes:
 - Line numbers now use a gray face to make numbers more subtle.
 - Highlighted text also uses the same color.
 - Elscreen current tab uses a lighter, brighter color.