/* 日本版ライトレッドテーマの互換入口。色の唯一の所有者はthemes.css。 */