Gizra/openscholar-huji — pull request #50 by ran81 (2014-09-09 07:39:31+00:00)
Title: Change blue color to huji red in default theme.

#39

This PR changes the blue color in the default theme (hwpi classic) to HUJI red (#800000).

Output:
![selection_835](https://cloud.githubusercontent.com/assets/4497748/4198084/604e18cc-37f4-11e4-8e58-e668db8ee7f4.png)