Romain Guy ce16d787bd Fixes #1890914.
Bright theme's background color should be #fff9f9f9 instead of pure white (#ffffffff).
2009-06-02 15:15:12 -07:00
..
2009-06-02 15:15:12 -07:00