/* Yanjye Blue — the stock palette. Kept empty on purpose: custom.css already
   defines this theme, so activating it simply removes any other theme. */
