#42: Remove dark flavor of Ballard theme and apply HUJI changes.