/* Halloween (auto: 20-31 October). Pumpkin orange for actions, deep purple
   for discounts; the ribbon fades from midnight purple to orange. */
:root {
  --r-cta:        #E8650C;
  --r-cta-hover:  #C2540A;
  --r-cta-ink:    #FFFFFF;
  --r-cta-shadow: rgba(232, 101, 12, .30);
  --r-accent:     #D35A08;
  --r-alert:      #7B2CBF;
  --r-badge-bg:   #FF8A1F;
  --r-badge-ink:  #1A0E00;
  --r-band:       #E8650C;
}
.dside-season-halloween {
  --season-bg: linear-gradient(90deg, #1E0A2E 0%, #5B1F8F 48%, #E8650C 100%);
  --season-ink: #FFFFFF;
}
/* faint cobweb in the left corner */
.dside-season-halloween .dside-season-deco {
  background:
    radial-gradient(circle at 0 0, transparent 22px, rgba(255,255,255,.16) 23px, transparent 24px),
    radial-gradient(circle at 0 0, transparent 38px, rgba(255,255,255,.12) 39px, transparent 40px),
    radial-gradient(circle at 0 0, transparent 54px, rgba(255,255,255,.08) 55px, transparent 56px);
}
.dside-season-halloween .dside-season-ic { color: #FFB066; }