/* 
 * This file is deprecated. 
 * The theme system has been moved to themes.css.
 * Please use themes.css for all theme-related styling.
 */

@import url('/themes.css');