/*
 * theme-gruvbox-soft-dark.css
 * ─────────────────────────────────────────────────────────────────────────
 * Legacy alias — kept so users who previously selected "gruvbox-soft-dark"
 * automatically get the reworked Gruvbox theme. Do not edit; edit
 * theme-gruvbox-dark.css instead.
 */

@import url("./theme-gruvbox-dark.css");