39: Change blue color to huji red in default theme.
Merge branch 'HUJI-3.x' of github.com:Gizra/openscholar-huji into HUJI-3.x