ef1c6e9214
* doc/theme-format.txt: described new theme format. * src/themes/Bright, src/themes/Crux: added version 2 themes.