/* Playground app styles — loaded after dolfin-suite.css */

/* Bridge --ctp-* → playground semantic vars */
:root {
    --bg:             var(--ctp-base);
    --surface:        var(--ctp-mantle);
    --border:         var(--ctp-surface0);
    --text:           var(--ctp-text);
    --text-muted:     var(--ctp-subtext0);
    --accent:         var(--ctp-blue);
    --error:          var(--ctp-red);
    --success:        var(--ctp-green);
    --warning:        var(--ctp-peach);
    --active-line-bg: color-mix(in srgb, var(--ctp-blue) 6%, transparent);
    --selection-bg:   color-mix(in srgb, var(--ctp-blue) 15%, transparent);
    --hover-bg:       color-mix(in srgb, var(--ctp-blue) 8%, transparent);
    --header-height: 48px;
    --panel-header-height: 32px;
}

* { margin: 0; padding: 0; box-sizing: border-box; }

html, body {
    height: 100%;
    font-family: 'Segoe UI', system-ui, -apple-system, sans-serif;
    background: var(--bg);
    color: var(--text);
    overflow: hidden;
}

span[hidden] { display: none !important; }

.dn-bar { height: var(--header-height); flex-shrink: 0; }

.toolbar {
    display: flex;
    align-items: center;
    gap: 12px;
}
.toolbar select, .toolbar button {
    font-family: inherit;
    font-size: 0.8rem;
    padding: 4px 10px;
    border-radius: 4px;
    border: 1px solid var(--border);
    background: var(--bg);
    color: var(--text);
    cursor: pointer;
}
.toolbar button {
    background: var(--accent);
    color: var(--bg);
    font-weight: 600;
    border: none;
}
.toolbar button:hover { opacity: 0.9; }

#pkg-load-btn, #pkg-save-btn {
    background: var(--surface);
    color: var(--text);
    border: 1px solid var(--border) !important;
    font-weight: 400;
    min-width: unset;
    padding: 4px 8px;
}
#pkg-load-btn:hover, #pkg-save-btn:hover {
    background: var(--hover-bg);
    opacity: 1;
}

.status { font-size: 0.75rem; color: var(--text-muted); }
.status.ok  { color: var(--success); }
.status.err { color: var(--error); }

main {
    display: flex;
    height: calc(100% - var(--header-height));
}

.panel {
    display: flex;
    flex-direction: column;
    flex: 1;
    min-width: 0;
    overflow: hidden;
}

.panel-header {
    height: var(--panel-header-height);
    line-height: var(--panel-header-height);
    padding: 0 12px;
    font-size: 0.75rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: var(--text-muted);
    background: var(--surface);
    border-bottom: 1px solid var(--border);
}

.editor-header {
    display: flex;
    align-items: center;
    gap: 8px;
    padding: 0 8px 0 12px;
    line-height: normal;
}

.panel-label {
    flex-shrink: 0;
    font-size: 0.75rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: var(--text-muted);
}

.file-selector {
    flex: 1;
    min-width: 0;
    font-family: 'JetBrains Mono', 'Fira Code', monospace;
    font-size: 0.75rem;
    background: var(--bg);
    color: var(--text);
    border: 1px solid var(--border);
    border-radius: 3px;
    padding: 2px 4px;
    cursor: pointer;
    outline: none;
}
.file-selector:focus { border-color: var(--accent); }

.file-action-btn {
    flex-shrink: 0;
    display: inline-flex;
    align-items: center;
    justify-content: center;
    width: 22px;
    height: 22px;
    padding: 0;
    font-size: 0.85rem;
    line-height: 1;
    background: transparent;
    color: var(--text-muted);
    border: 1px solid transparent;
    border-radius: 3px;
    cursor: pointer;
}
.file-action-btn:hover {
    color: var(--text);
    background: var(--hover-bg);
    border-color: var(--border);
}

.gutter { width: 6px; cursor: col-resize; background: var(--border); flex-shrink: 0; }
.gutter:hover { background: var(--accent); }

#editor { flex: 1; overflow: hidden; display: flex; flex-direction: column; }
#editor .cm-editor { height: 100%; }
#editor .cm-editor .cm-scroller {
    font-family: 'JetBrains Mono', 'Fira Code', monospace;
    font-size: 14px;
    line-height: 1.6;
}
#editor .cm-editor.cm-focused { outline: none; }
#editor .cm-editor { background: var(--bg); }
#editor .cm-gutters {
    background: var(--surface);
    border-right: 1px solid var(--border);
    color: var(--text-muted);
}
#editor .cm-activeLineGutter, #editor .cm-activeLine { background: var(--active-line-bg); }
#editor .cm-selectionBackground { background: var(--selection-bg) !important; }
#editor .cm-cursor { border-left-color: var(--accent); }

.output-tabs {
    display: flex;
    align-items: center;
    gap: 0;
    padding: 0;
    height: var(--panel-header-height);
}
.tab-btn {
    height: 100%;
    padding: 0 14px;
    font-family: inherit;
    font-size: 0.75rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: var(--text-muted);
    background: transparent;
    border: none;
    border-right: 1px solid var(--border);
    cursor: pointer;
}
.tab-btn:hover { color: var(--text); background: var(--active-line-bg); }
.tab-btn.active { color: var(--accent); border-bottom: 2px solid var(--accent); background: var(--active-line-bg); }

.tab-content { display: none; flex: 1; overflow: auto; }
.tab-content.active { display: flex; flex-direction: column; }

/* TurtleView component */
.dolfin-turtle-view {
    flex: 1;
    overflow: auto;
    padding: 12px;
    font-family: 'JetBrains Mono', 'Fira Code', monospace;
    font-size: 13px;
    line-height: 1.6;
    background: var(--bg);
    color: var(--text);
    tab-size: 2;
    white-space: pre-wrap;
    word-wrap: break-word;
    margin: 0;
}

/* Parse output (plain pre) */
#output {
    flex: 1;
    overflow: auto;
    padding: 12px;
    font-family: 'JetBrains Mono', 'Fira Code', monospace;
    font-size: 13px;
    line-height: 1.6;
    background: var(--bg);
    color: var(--text);
    tab-size: 2;
    white-space: pre-wrap;
    word-wrap: break-word;
}

/* SvgView component */
.dolfin-svg-view {
    width: 100%;
    height: 100%;
    overflow: auto;
}
.dolfin-svg-view svg { display: block; max-width: 100%; }

.svg-container {
    align-items: flex-start;
    justify-content: flex-start;
    padding: 0;
    background: var(--bg);
    overflow: hidden;
    position: relative;
}

.graph-container {
    background: var(--graph-bg);
    overflow: hidden;
    position: relative;
    cursor: grab;
    user-select: none;
}

.graph-placeholder {
    position: absolute;
    top: 50%;
    left: 50%;
    transform: translate(-50%, -50%);
    color: var(--text-muted);
    font-size: 0.85rem;
    pointer-events: none;
}

.glossary-container { overflow: hidden; padding: 0; }

.right-panels {
    display: flex;
    flex-direction: column;
    flex: 1;
    min-width: 0;
    overflow: hidden;
}
.right-panels > #output-panel { flex: 3; overflow: hidden; min-height: 80px; }

.hgutter { height: 6px; cursor: row-resize; background: var(--border); flex-shrink: 0; }
.hgutter:hover { background: var(--accent); }

.right-panels > #problems-panel { flex: 1; overflow: hidden; min-height: 48px; }

/* ProblemsPanel component */
.dolfin-problems-panel { display: flex; flex-direction: column; height: 100%; }
.dolfin-problems-header {
    height: var(--panel-header-height);
    line-height: var(--panel-header-height);
    padding: 0 12px;
    font-size: 0.75rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: var(--text-muted);
    background: var(--surface);
    border-bottom: 1px solid var(--border);
    display: flex;
    align-items: center;
    gap: 8px;
}
.dolfin-problems-list {
    overflow-y: auto;
    padding: 4px 0;
    flex: 1;
}

/* File group (collapsible) */
.dolfin-file-group { border-bottom: 1px solid var(--border); }
.dolfin-file-group-header {
    display: flex;
    align-items: center;
    gap: 6px;
    width: 100%;
    padding: 5px 10px;
    background: none;
    border: none;
    cursor: pointer;
    font-size: 0.75rem;
    font-weight: 600;
    color: var(--text-muted);
    text-align: left;
}
.dolfin-file-group-header:hover { background: var(--hover-bg); }
.dolfin-file-group-arrow { font-size: 0.6rem; flex-shrink: 0; }
.dolfin-file-group-name { flex: 1; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; font-family: 'JetBrains Mono', 'Fira Code', monospace; }
.dolfin-file-group-count {
    background: var(--surface);
    border: 1px solid var(--border);
    border-radius: 10px;
    padding: 0 6px;
    font-size: 0.65rem;
    flex-shrink: 0;
}

.dolfin-problem-card {
    display: flex;
    gap: 10px;
    padding: 8px 12px;
    margin: 2px 6px;
    border-radius: 6px;
    background: var(--surface);
    border: 1px solid var(--border);
    font-size: 0.8rem;
    line-height: 1.4;
}
.dolfin-problem-card--clickable { cursor: pointer; }
.dolfin-problem-card--clickable:hover { background: var(--hover-bg); border-color: var(--accent); }
.dolfin-problem-icon { font-size: 1rem; flex-shrink: 0; line-height: 1.4; }
.dolfin-problem-body { flex: 1; min-width: 0; }
.dolfin-problem-message { color: var(--text); word-break: break-word; }
.dolfin-problem-location {
    margin-top: 2px;
    font-size: 0.7rem;
    color: var(--text-muted);
    font-family: 'JetBrains Mono', 'Fira Code', monospace;
}
.dolfin-problem-card.error   .dolfin-problem-message { color: var(--error); }
.dolfin-problem-card.warning .dolfin-problem-message { color: var(--warning); }
.dolfin-problem-card.hint    .dolfin-problem-message { color: var(--accent); }

/* Badges (shared with dolfin-suite.css .badge-* classes) */
.badge { color: var(--bg); }

/* Semantic token highlight */
:root {
    --dlf-tt-namespace: var(--ctp-yellow);
    --dlf-tt-type:      var(--ctp-blue);
    --dlf-tt-class:     var(--ctp-red);
    --dlf-tt-enum:      var(--ctp-mauve);
    --dlf-tt-enumMember:var(--ctp-peach);
    --dlf-tt-function:  var(--ctp-teal);
    --dlf-tt-macro:     var(--ctp-green);
    --dlf-tt-variable:  var(--ctp-text);
    --dlf-tt-keyword:   var(--ctp-mauve);
}
.dlf-tt-0 { color: var(--dlf-tt-namespace); }
.dlf-tt-1 { color: var(--dlf-tt-type); }
.dlf-tt-2 { color: var(--dlf-tt-class); }
.dlf-tt-3 { color: var(--dlf-tt-enum); }
.dlf-tt-4 { color: var(--dlf-tt-enumMember); }
.dlf-tt-5 { color: var(--dlf-tt-function); }
.dlf-tt-6 { color: var(--dlf-tt-macro); }
.dlf-tt-7 { color: var(--dlf-tt-variable); }
.dlf-tt-8 { color: var(--dlf-tt-keyword); }
.dlf-tt-decl { font-weight: 600; }

/* Syntax token colors (CodeMirror 6 classHighlighter) */
.tok-keyword    { color: var(--ctp-blue); font-weight: 600; }
.tok-typeName   { color: var(--ctp-teal); }
.tok-string     { color: var(--ctp-peach); }
.tok-number     { color: var(--ctp-green); }
.tok-comment    { color: var(--ctp-overlay1); font-style: italic; font-family: 'Georgia', serif; }
.tok-punctuation{ color: var(--ctp-subtext0); }
.tok-invalid    { color: var(--ctp-red); text-decoration: underline wavy; }
.tok-meta       { color: var(--ctp-overlay1); font-style: normal; }
.tok-labelName  { color: var(--ctp-subtext0); font-weight: 500; }

/* LSP hover tooltip (markdown rendered) */
.dlf-hover {
    padding: 6px 10px;
    max-width: 520px;
    font-size: 0.85em;
    font-family: sans-serif;
    background: var(--ctp-mantle);
    color: var(--ctp-text);
    border: 1px solid var(--ctp-surface1);
    border-radius: 4px;
    word-break: break-word;
}
.dlf-hover p { margin: 0 0 0.4em; }
.dlf-hover p:last-child { margin-bottom: 0; }
.dlf-hover code {
    font-family: monospace;
    font-size: 0.95em;
    background: var(--ctp-surface0);
    padding: 0 3px;
    border-radius: 3px;
}
.dlf-hover pre {
    margin: 0.4em 0;
    padding: 6px 8px;
    background: var(--ctp-surface0);
    border-radius: 4px;
    overflow-x: auto;
}
.dlf-hover pre code { background: none; padding: 0; }

@media (max-width: 768px) {
    html { overflow-x: hidden; overflow-y: auto; height: auto; }
    body { overflow-x: hidden; overflow-y: auto; height: auto; min-height: 100vh; }
    .dn-bar { height: auto; min-height: var(--header-height); flex-wrap: wrap; padding: 8px 12px; gap: 8px; }
    .dn-links { display: none; }
    .toolbar { flex-wrap: wrap; gap: 8px; }
    main { flex-direction: column; height: auto; overflow: visible; }
    .gutter, .hgutter { display: none; }
    #editor-panel { flex: none !important; width: 100%; height: 45vh; min-height: 220px; }
    .right-panels { flex: none !important; width: 100%; height: 50vh; min-height: 280px; overflow: hidden; }
}