/* ORM Studio — NORMA-faithful Visual Studio look
   Reference: https://github.com/ormsolutions/NORMA (CPL 1.0)
   Light theme, VS-style chrome, white canvas, ORM 2 (Halpin) verbalization.
*/

:root {
    /* VS Light palette */
    --bg:           #FFFFFF;
    --chrome:       #EEEEF2;
    --chrome2:      #DCDCE6;
    --panelBg:      #F5F5F5;
    --panelHead:    #E8E8EC;
    --canvas:       #FFFFFF;
    --canvasGrid:   #F0F0F4;
    --line:         #C4C4CC;
    --line2:        #A0A0A8;
    --txt:          #1E1E1E;
    --txt2:         #555555;
    --txt3:         #888888;
    --link:         #1F4FA8;
    --accent:       #007ACC;
    --accentBg:     #CCE4F7;
    --accentSel:    #BEDDF1;

    /* ORM shape colors (NORMA defaults) */
    --ormEntity:    #1F4FA8;
    --ormEntityFill:#FFFFFF;
    --ormValue:     #1F4FA8;
    --ormValueFill: #FFFFFF;
    --ormObj:       #6A2C91;
    --ormObjFill:   #F2EAF5;
    --ormFact:      #000000;
    --ormFactFill:  #FFFFFF;
    --ormUC:        #6A2C91;
    --ormMandatory: #6A2C91;
    --ormReading:   #1A1A1A;
    --ormError:     #B22222;

    --top-h:        28px;
    --menu-h:       22px;
    --tools-h:      30px;
    --tab-h:        26px;
    --status-h:     22px;
    --tool-w:       240px;
    --right-w:      290px;
    --dock-h:       240px;

    --font:         "Segoe UI", "Tahoma", "Verdana", system-ui, sans-serif;
    --mono:         "Consolas", "Cascadia Mono", "Courier New", monospace;
}

* { box-sizing: border-box; margin: 0; padding: 0; }
html, body { height: 100%; overflow: hidden; background: var(--bg); color: var(--txt); font-family: var(--font); font-size: 12px; -webkit-font-smoothing: antialiased; }
button { font-family: inherit; cursor: pointer; }
svg { display: block; }
input { font-family: inherit; }

/* ── VS chrome ───────────────────────────────────────────────────── */
.vs-title {
    height: var(--top-h); background: var(--chrome);
    display: flex; align-items: center; padding: 0 8px;
    font-size: 11.5px; color: var(--txt2);
    border-bottom: 1px solid var(--chrome2);
    user-select: none;
}
.vs-title .vs-logo { display: flex; align-items: center; gap: 6px; font-weight: 600; color: var(--accent); }
.vs-title .vs-logo svg { width: 13px; height: 13px; }
.vs-title .vs-search {
    flex: 0 0 320px; height: 18px; margin: 0 12px;
    border: 1px solid var(--chrome2); background: #fff; border-radius: 2px;
    padding: 0 6px 0 22px; font-size: 11px; color: var(--txt2);
    background-image: url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'><path d='M11 11l3 3M7 12a5 5 0 1 1 0-10 5 5 0 0 1 0 10z' fill='none' stroke='%23888' stroke-width='1.2'/></svg>");
    background-repeat: no-repeat; background-position: 4px 50%;
}
.vs-title .vs-solution { color: var(--txt); margin-left: auto; padding-right: 16px; }

.vs-menu {
    height: var(--menu-h); background: var(--chrome);
    display: flex; align-items: stretch; padding: 0 8px;
    border-bottom: 1px solid var(--chrome2);
    user-select: none;
}
.vs-menu-item {
    display: flex; align-items: center; padding: 0 7px;
    font-size: 11.5px; color: var(--txt);
    cursor: default; border: 1px solid transparent;
}
.vs-menu-item:hover { background: #DBEBFB; border-color: #B3D4F1; }

.vs-toolbar {
    height: var(--tools-h); background: var(--chrome);
    display: flex; align-items: center; gap: 4px; padding: 0 6px;
    border-bottom: 1px solid var(--chrome2);
    user-select: none;
}
.vs-tb-btn {
    appearance: none; background: none; border: 1px solid transparent;
    width: 24px; height: 24px; padding: 0; border-radius: 2px;
    color: var(--txt2); display: flex; align-items: center; justify-content: center;
}
.vs-tb-btn:hover { background: #DBEBFB; border-color: #B3D4F1; color: var(--txt); }
.vs-tb-btn:disabled { opacity: 0.4; cursor: default; }
.vs-tb-sep { width: 1px; height: 18px; background: var(--chrome2); margin: 0 3px; }
.vs-tb-run {
    height: 22px; padding: 0 12px 0 8px;
    background: linear-gradient(to bottom, #F4F8FC, #E1E9F2);
    border: 1px solid #B3D4F1; border-radius: 2px;
    display: flex; align-items: center; gap: 6px;
    color: var(--txt); font-size: 12px;
}
.vs-tb-run::before {
    content: ''; width: 0; height: 0; border-left: 7px solid var(--accent);
    border-top: 4px solid transparent; border-bottom: 4px solid transparent;
}

/* ── Workspace ───────────────────────────────────────────────────── */
.workspace {
    position: fixed; left: 0; right: 0;
    top: calc(var(--top-h) + var(--menu-h) + var(--tools-h));
    bottom: calc(var(--status-h) + var(--dock-h) + 4px);
    display: flex;
}
body.dock-collapsed .workspace {
    bottom: calc(var(--status-h) + 30px);
}

/* ── Left tool panel (VS Toolbox) ────────────────────────────────── */
.tool-panel {
    width: var(--tool-w); background: var(--panelBg);
    border-right: 1px solid var(--chrome2);
    display: flex; flex-direction: column;
}
.tp-header {
    height: 24px; background: var(--panelHead);
    display: flex; align-items: center; padding: 0 8px;
    font-size: 11.5px; color: var(--txt2); font-weight: 600;
    border-bottom: 1px solid var(--chrome2);
    user-select: none;
}
.tp-search {
    margin: 4px 6px; height: 20px;
    border: 1px solid var(--chrome2); border-radius: 2px;
    background: #fff; padding: 0 6px 0 22px;
    font-size: 11px; color: var(--txt);
    background-image: url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'><path d='M11 11l3 3M7 12a5 5 0 1 1 0-10 5 5 0 0 1 0 10z' fill='none' stroke='%23888' stroke-width='1.2'/></svg>");
    background-repeat: no-repeat; background-position: 4px 50%;
}
.tp-body { flex: 1; overflow-y: auto; }
.tp-group { border-bottom: 1px solid var(--chrome2); user-select: none; }
.tp-group-head {
    display: flex; align-items: center; gap: 4px;
    height: 22px; padding: 0 6px;
    background: linear-gradient(to bottom, #F8F8FA, #ECECF0);
    font-size: 11.5px; font-weight: 600; color: var(--txt);
    cursor: default;
}
.tp-group-head .tp-tri {
    width: 0; height: 0;
    border-left: 5px solid var(--txt2);
    border-top: 4px solid transparent;
    border-bottom: 4px solid transparent;
    margin-right: 2px; transition: transform .1s;
}
.tp-group.expanded .tp-tri { transform: rotate(90deg); }
.tp-group .tp-items { display: none; padding: 2px 0; background: #fff; }
.tp-group.expanded .tp-items { display: block; }

.tp-item {
    display: flex; align-items: center; gap: 6px;
    height: 22px; padding: 0 8px 0 22px;
    font-size: 12px; color: var(--txt);
    cursor: default;
    border: 1px solid transparent;
}
.tp-item:hover { background: #DBEBFB; border-color: #B3D4F1; }
.tp-item.active { background: var(--accentBg); border-color: #94C6E5; }
.tp-item .tp-icon { width: 16px; height: 16px; flex-shrink: 0; }

/* ── Center editor ───────────────────────────────────────────────── */
.editor-area {
    flex: 1; display: flex; flex-direction: column;
    background: var(--canvas); overflow: hidden; position: relative;
}
.tab-strip {
    height: var(--tab-h); background: var(--chrome);
    display: flex; align-items: stretch;
    border-bottom: 1px solid var(--chrome2);
    user-select: none;
}
.doc-tab {
    display: flex; align-items: center; gap: 6px;
    padding: 0 22px 0 12px; height: 100%;
    font-size: 12px; color: var(--txt);
    background: var(--canvas);
    border-right: 1px solid var(--chrome2);
    border-top: 2px solid var(--accent);
    margin-right: -1px; position: relative;
}
.doc-tab .doc-x {
    position: absolute; right: 6px; top: 50%; transform: translateY(-50%);
    width: 14px; height: 14px; display: flex; align-items: center; justify-content: center;
    color: var(--txt3); font-size: 11px; cursor: default;
}
.doc-tab .doc-x:hover { background: #E1E1E5; color: var(--txt); border-radius: 2px; }
.tab-spacer { flex: 1; }

.canvas-area { flex: 1; position: relative; overflow: hidden; background: var(--canvas); }
#ormCanvas { width: 100%; height: 100%; display: block; cursor: default; }
.zoom-pad {
    position: absolute; right: 14px; bottom: 14px;
    display: flex; flex-direction: column; gap: 1px;
    background: #fff; border: 1px solid var(--chrome2); border-radius: 2px;
    box-shadow: 0 1px 3px rgba(0,0,0,0.06);
}
.zoom-pad button {
    width: 26px; height: 24px; appearance: none; background: #fff;
    border: none; color: var(--txt); font-size: 14px; line-height: 1;
}
.zoom-pad button:hover { background: var(--accentBg); }
.zoom-pad .zoom-val { font-size: 10.5px; padding: 2px 0; text-align: center; color: var(--txt2); }

/* ── Right panel ────────────────────────────────────────────────── */
.right-panel {
    width: var(--right-w); background: var(--panelBg);
    border-left: 1px solid var(--chrome2);
    display: flex; flex-direction: column;
}
.rp-section { display: flex; flex-direction: column; min-height: 0; }
.rp-section.solex { flex: 0 0 200px; border-bottom: 1px solid var(--chrome2); }
.rp-section.props { flex: 1; }
.rp-head {
    height: 24px; background: var(--panelHead);
    display: flex; align-items: center; padding: 0 8px;
    font-size: 11.5px; font-weight: 600; color: var(--txt);
    border-bottom: 1px solid var(--chrome2);
    user-select: none;
}
.rp-body { flex: 1; overflow: auto; background: #fff; }

.solex-tree { padding: 4px 0; font-size: 12px; }
.solex-row {
    display: flex; align-items: center; gap: 4px;
    height: 20px; padding: 0 6px;
    cursor: default; user-select: none;
}
.solex-row:hover { background: #DBEBFB; }
.solex-row.active { background: var(--accentSel); }
.solex-row.indent-1 { padding-left: 18px; }
.solex-row.indent-2 { padding-left: 34px; }
.solex-row .solex-tri {
    width: 0; height: 0;
    border-left: 4px solid var(--txt2);
    border-top: 3px solid transparent;
    border-bottom: 3px solid transparent;
    margin-right: 2px; transition: transform .1s;
}
.solex-row.expanded .solex-tri { transform: rotate(90deg); }
.solex-row .solex-icon { width: 14px; height: 14px; flex-shrink: 0; }

.prop-toolbar {
    height: 22px; display: flex; align-items: center; gap: 4px;
    padding: 0 4px; border-bottom: 1px solid var(--chrome2);
    background: var(--panelBg);
}
.prop-toolbar button {
    width: 22px; height: 20px; appearance: none; background: none; border: none;
    color: var(--txt2);
}
.prop-toolbar button:hover { background: #DBEBFB; color: var(--txt); }
.prop-header {
    padding: 4px 8px; border-bottom: 1px solid var(--chrome2);
    background: var(--panelBg); font-size: 11.5px;
}
.prop-header .prop-objname { font-weight: 600; }
.prop-header .prop-objtype { color: var(--txt2); margin-left: 6px; }

.prop-table { width: 100%; border-collapse: collapse; }
.prop-group-row td {
    background: var(--panelBg);
    border-top: 1px solid var(--chrome2);
    border-bottom: 1px solid var(--chrome2);
    padding: 2px 6px; font-weight: 600; font-size: 11.5px;
    user-select: none;
}
.prop-group-row .prop-tri {
    display: inline-block; width: 0; height: 0;
    border-left: 4px solid var(--txt2);
    border-top: 3px solid transparent; border-bottom: 3px solid transparent;
    transform: rotate(90deg); margin-right: 4px;
}
.prop-row td {
    padding: 2px 6px; border-bottom: 1px solid #ECECF0;
    vertical-align: top; font-size: 12px;
}
.prop-row .prop-key  { width: 110px; color: var(--txt); white-space: nowrap; }
.prop-row .prop-val  { color: var(--txt); }
.prop-row .prop-val.muted { color: var(--txt2); font-style: italic; }
.prop-row .prop-input {
    width: 100%; border: none; background: transparent;
    font-family: inherit; font-size: 12px; color: var(--txt);
    padding: 0; outline: none;
}
.prop-row .prop-input:focus { background: #fff; outline: 1px solid var(--accent); }

.prop-help {
    border-top: 1px solid var(--chrome2);
    padding: 6px 8px;
    background: var(--panelBg); font-size: 11.5px;
}
.prop-help .prop-help-title { font-weight: 600; }
.prop-help .prop-help-body { color: var(--txt2); margin-top: 2px; line-height: 1.4; }

/* ── Bottom dock ─────────────────────────────────────────────────── */
.dock-resizer {
    position: fixed; left: 0; right: 0;
    bottom: calc(var(--status-h) + var(--dock-h));
    height: 4px; cursor: ns-resize; z-index: 199;
}
.dock-resizer:hover, .dock-resizer.dragging { background: #B3D4F1; }
body.dock-collapsed .dock-resizer { display: none; }

.bottom-dock {
    position: fixed; left: 0; right: 0; bottom: var(--status-h);
    height: var(--dock-h);
    background: var(--panelBg); border-top: 1px solid var(--chrome2);
    display: flex; flex-direction: column; z-index: 198;
}
body.dock-collapsed .bottom-dock { height: 26px; }
body.dock-collapsed .bd-body { display: none; }

.bd-tabstrip {
    height: 26px; background: var(--chrome);
    display: flex; align-items: stretch;
    border-bottom: 1px solid var(--chrome2);
    user-select: none;
}
.bd-tab {
    appearance: none; background: var(--chrome); border: 1px solid var(--chrome2);
    border-bottom: none; border-top-left-radius: 3px; border-top-right-radius: 3px;
    padding: 0 14px; height: 100%; margin-right: -1px;
    font-size: 11.5px; color: var(--txt); display: flex; align-items: center; gap: 6px;
}
.bd-tab.active {
    background: var(--panelBg); border-bottom: 1px solid var(--panelBg);
    color: var(--txt); position: relative; z-index: 2;
}
.bd-tab:not(.active):hover { background: #E5E5E9; }
.bd-tabspacer { flex: 1; border-bottom: 1px solid var(--chrome2); }
.bd-collapse {
    appearance: none; background: none; border: none; padding: 0 8px;
    color: var(--txt2);
    border-bottom: 1px solid var(--chrome2);
}
.bd-collapse:hover { color: var(--txt); }
body.dock-collapsed .bd-collapse svg { transform: rotate(180deg); }

.bd-body { flex: 1; overflow: hidden; background: var(--panelBg); display: flex; flex-direction: column; }
.bd-pane { flex: 1; display: none; overflow: auto; background: #fff; }
.bd-pane.active { display: block; }

.bd-errors { width: 100%; border-collapse: collapse; font-size: 12px; }
.bd-errors thead th {
    text-align: left; font-weight: 600; padding: 4px 8px;
    background: var(--panelBg); border-bottom: 1px solid var(--chrome2);
    position: sticky; top: 0;
}
.bd-errors tbody tr:hover { background: #FFF8E1; }
.bd-errors td { padding: 3px 8px; border-bottom: 1px solid #F0F0F4; }
.bd-errors-empty { padding: 8px 12px; color: var(--txt2); font-style: italic; }

.bd-reading-empty { padding: 8px 12px; color: var(--txt2); font-style: italic; }
.bd-reading-table { width: 100%; border-collapse: collapse; font-size: 12px; }
.bd-reading-table th {
    text-align: left; font-weight: 600; padding: 4px 8px;
    background: var(--panelBg); border-bottom: 1px solid var(--chrome2);
    position: sticky; top: 0;
}
.bd-reading-table td { padding: 4px 8px; border-bottom: 1px solid #F0F0F4; }
.bd-reading-template { font-family: var(--mono); color: #1F4FA8; }

/* Verbalization Browser (NORMA snippet class names — keep stable) */
.bd-verb {
    padding: 6px 10px; font-size: 12.5px; line-height: 1.55;
    color: var(--ormReading); background: #fff;
    font-family: "Verdana", var(--font);
}
.bd-verb-empty { padding: 8px 12px; color: var(--txt2); font-style: italic; }
.bd-verb-block { margin-bottom: 10px; }
.bd-verb-headline { padding: 1px 0; }

.bd-verb .quantifier      { color: #008080; }
.bd-verb .objectType      { color: #1F4FA8; font-weight: 600; }
.bd-verb .objectTypeMissing { color: #B22222; font-style: italic; }
.bd-verb .predicateText   { color: #000000; }
.bd-verb .referenceMode   { color: #6A2C91; font-style: italic; }
.bd-verb .listSeparator   { color: var(--txt2); }
.bd-verb .logicalOperator { color: #008080; font-weight: 600; }
.bd-verb .definition      { color: #555555; font-style: italic; }
.bd-verb .note            { color: #555555; }
.bd-verb .instance        { color: #6A2C91; }
.bd-verb a { color: inherit; text-decoration: none; }
.bd-verb a:hover { text-decoration: underline; }

.bd-verb .smallIndent     { display: block; padding-left: 24px; }
.bd-verb .indent          { display: block; padding-left: 38px; }

.bd-verb .verb-error {
    color: var(--ormError); font-style: italic;
    padding-left: 24px; font-size: 12px;
}

/* ── Status bar ──────────────────────────────────────────────────── */
.statusbar {
    position: fixed; left: 0; right: 0; bottom: 0;
    height: var(--status-h); background: var(--accent); color: #fff;
    display: flex; align-items: center; padding: 0 10px;
    font-size: 11.5px; user-select: none; z-index: 200;
}
.statusbar .sb-spacer { flex: 1; }
.statusbar .sb-pill {
    display: flex; align-items: center; gap: 4px;
    padding: 0 8px; height: 100%;
    border-left: 1px solid rgba(255,255,255,0.18);
}
.statusbar .sb-pill:hover { background: rgba(255,255,255,0.12); cursor: default; }

/* ── Toast / context menu ────────────────────────────────────────── */
.toast {
    position: fixed; right: 16px; bottom: calc(var(--status-h) + 8px);
    background: #fff; border: 1px solid var(--chrome2);
    padding: 8px 14px; border-radius: 2px; font-size: 12px;
    box-shadow: 0 4px 12px rgba(0,0,0,0.15);
    color: var(--txt); opacity: 0; pointer-events: none;
    transition: opacity .15s; z-index: 9999;
}
.toast.show { opacity: 1; }
.toast.success { border-left: 3px solid #2D7A2D; }
.toast.error   { border-left: 3px solid #B22222; color: #B22222; }

.ctx-menu {
    position: fixed; min-width: 170px;
    background: #fff; border: 1px solid var(--chrome2);
    box-shadow: 0 3px 10px rgba(0,0,0,0.18);
    padding: 3px 0; z-index: 9999; font-size: 12px;
}
.ctx-item {
    width: 100%; appearance: none; background: none; border: none;
    text-align: left; padding: 4px 14px 4px 28px;
    color: var(--txt); display: flex; align-items: center; gap: 8px;
}
.ctx-item:hover { background: var(--accentBg); }
.ctx-item .ctx-kbd { margin-left: auto; color: var(--txt3); font-size: 11px; }
.ctx-sep { height: 1px; background: var(--chrome2); margin: 3px 0; }
.ctx-danger { color: #B22222; }

.hidden { display: none !important; }
.mono { font-family: var(--mono); }