/* WebTUI entry — pinned vendor copies under static/vendor/webtui/
   @webtui/css@0.1.9 + @webtui/theme-everforest@0.0.5 */

@layer base, utils, components;

@import url("./vendor/webtui/css/base.css");
@import url("./vendor/webtui/css/utils/box.css");
@import url("./vendor/webtui/css/components/typography.css");
@import url("./vendor/webtui/css/components/button.css");
@import url("./vendor/webtui/css/components/input.css");
@import url("./vendor/webtui/css/components/textarea.css");
@import url("./vendor/webtui/css/components/badge.css");
@import url("./vendor/webtui/css/components/dialog.css");
@import url("./vendor/webtui/css/components/separator.css");
@import url("./vendor/webtui/css/components/table.css");
@import url("./vendor/webtui/css/components/pre.css");
@import url("./vendor/webtui/css/components/spinner.css");
@import url("./vendor/webtui/css/components/checkbox.css");
@import url("./vendor/webtui/css/components/radio.css");
@import url("./vendor/webtui/theme-everforest.css");

/* Theme package references --ef-* aliases that are not defined; bridge them. */
@layer base {
    [data-webtui-theme|="everforest"] {
        --ef-red: var(--red);
        --ef-orange: var(--orange);
        --ef-yellow: var(--yellow);
        --ef-green: var(--green);
        --ef-blue: var(--blue);
        --ef-aqua: var(--aqua);
        --ef-purple: var(--purple);
    }
}