/* Default stylesheet.

CSS for "Khaki" can be found in Industry/style.css   */