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)