/// TEMPORARY AI GENERATED FRONTEND \\\
///   NOT TO BE USED IN PRODUCTION  \\\

// All colours and metrics live here so re-theming is a one-file change.
// The palette is a familiar dark-grey layered scheme (darkest = server rail,
// lightest = chat area) which is what Discord users expect to see.
export global Theme {
    // --- Surfaces -----------------------------------------------------------
    out property <color> rail-bg: #1e1f22;
    out property <color> sidebar-bg: #2b2d31;
    out property <color> chat-bg: #313338;
    out property <color> input-bg: #383a40;
    out property <color> popup-bg: #111214;
    out property <color> hover-bg: #35373c;
    out property <color> selected-bg: #404249;
    out property <color> message-hover-bg: #2e3035;
    out property <color> divider: #3f4147;

    // --- Text ---------------------------------------------------------------
    out property <color> text-normal: #dbdee1;
    out property <color> text-muted: #949ba4;
    out property <color> text-faint: #6d6f78;
    out property <color> text-header: #f2f3f5;
    out property <color> text-link: #00a8fc;

    // --- Accents ------------------------------------------------------------
    out property <color> accent: #6f7bf7;
    out property <color> accent-hover: #5b67e0;
    out property <color> danger: #da373c;
    out property <color> success: #23a559;
    out property <color> mention-bg: #f0b13222;
    out property <color> mention-bar: #f0b132;

    // --- Metrics ------------------------------------------------------------
    out property <length> rail-width: 72px;
    out property <length> sidebar-width: 240px;
    out property <length> member-width: 240px;
    out property <length> header-height: 48px;
    out property <length> gutter: 56px; // avatar column inside a message row
}