/*
 * threadsee - layout after TDA's main window: dump tree top left, table top right,
 * thread text below. Every rule is scoped to .ts-app so the page can sit inside
 * the jheapo website without touching the site's own styles.
 */
.ts-app {
    --ts-bg: #ffffff;
    --ts-panel: #f6f7f8;
    --ts-border: #d0d4d9;
    --ts-text: #1f2328;
    --ts-muted: #5d6670;
    --ts-faint: #8a939c;
    --ts-accent: #2f6fd0;
    --ts-selected: #2f6fd0;
    --ts-selected-text: #ffffff;
    --ts-hover: #e9eef6;
    --ts-row-alt: #fafbfc;
    --ts-critical: #c62f2f;
    --ts-critical-bg: #fbecec;
    --ts-warning: #8a5a00;
    --ts-warning-bg: #fdf4e1;
    --ts-info: #2b5a8f;
    --ts-info-bg: #eaf2fb;
    --ts-mono: ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;
    --ts-sans: system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
    --ts-state-runnable: #2e9e4f;
    --ts-state-waiting: #d9a21b;
    --ts-state-timed: #e07b26;
    --ts-state-blocked: #c62f2f;
    --ts-state-new: #6f55c9;
    --ts-state-other: #7c858e;
    --ts-brand: #0e7c86;   /* the jheapo website's teal */
    --ts-tree-width: 34%;
    --ts-top-height: 48%;

    position: relative;
    display: flex;
    flex-direction: column;
    height: 100vh;
    min-height: 480px;
    background: var(--ts-bg);
    color: var(--ts-text);
    font: 13px/1.4 var(--ts-sans);
}

@media (prefers-color-scheme: dark) {
    .ts-app {
        --ts-bg: #16181b;
        --ts-panel: #1e2125;
        --ts-border: #353a40;
        --ts-text: #e3e6e9;
        --ts-muted: #a3abb3;
        --ts-faint: #7b848c;
        --ts-accent: #6ea2f0;
        --ts-selected: #2f5fa8;
        --ts-hover: #252b33;
        --ts-row-alt: #1a1d20;
        --ts-critical: #f07a7a;
        --ts-critical-bg: #3a1f1f;
        --ts-warning: #e8b964;
        --ts-warning-bg: #352a17;
        --ts-info: #8fbcf0;
        --ts-info-bg: #1b2a3c;
    }
}

body:has(> .ts-app) {
    margin: 0;
}

.ts-app *,
.ts-app *::before,
.ts-app *::after {
    box-sizing: border-box;
}

/* Toolbar and status bar */

.ts-toolbar {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 8px;
    padding: 8px 12px;
    border-bottom: 1px solid var(--ts-border);
    background: var(--ts-panel);
}

.ts-brand {
    display: inline-flex;
    align-items: center;
    gap: 6px;
    font-weight: 700;
    font-size: 15px;
    margin-right: 8px;
}

.ts-brand-logo {
    display: block;
    box-sizing: border-box;
    width: 28px;
    height: 28px;
    padding: 3px;
    border-radius: 7px;
    background: var(--ts-brand);
}

.ts-toolbar-note {
    color: var(--ts-muted);
    font-size: 12px;
}

.ts-button {
    position: relative;
    display: inline-flex;
    align-items: center;
    padding: 4px 12px;
    border: 1px solid var(--ts-border);
    border-radius: 4px;
    background: var(--ts-bg);
    color: var(--ts-text);
    font: inherit;
    cursor: pointer;
}

.ts-button:hover:not(:disabled) {
    background: var(--ts-hover);
}

.ts-button:disabled {
    color: var(--ts-faint);
    cursor: default;
}

.ts-button-disabled {
    color: var(--ts-faint);
    cursor: default;
}

.ts-button-primary {
    border-color: var(--ts-accent);
    color: var(--ts-accent);
    font-weight: 600;
}

.ts-file-input {
    position: absolute;
    width: 1px;
    height: 1px;
    opacity: 0;
    pointer-events: none;
}

.ts-button:focus-within,
.ts-button:focus-visible {
    outline: 2px solid var(--ts-accent);
    outline-offset: 1px;
}

.ts-status {
    display: flex;
    justify-content: space-between;
    gap: 12px;
    padding: 4px 12px;
    border-top: 1px solid var(--ts-border);
    background: var(--ts-panel);
    color: var(--ts-muted);
    font-size: 12px;
}

.ts-status a {
    color: inherit;
}

/* Main area: tree | content on top, detail underneath */

.ts-main {
    flex: 1;
    min-height: 0;
    display: grid;
    grid-template-columns: var(--ts-tree-width) 5px 1fr;
    grid-template-rows: var(--ts-top-height) 5px 1fr;
    grid-template-areas:
        "tree vsplit content"
        "hsplit hsplit hsplit"
        "detail detail detail";
}

.ts-tree {
    grid-area: tree;
    overflow: auto;
    padding: 4px 0;
}

.ts-content {
    grid-area: content;
    overflow: auto;
    min-width: 0;
}

.ts-detail {
    grid-area: detail;
    overflow: auto;
    padding: 12px 16px;
}

.ts-splitter {
    background: var(--ts-panel);
    border: 0 solid var(--ts-border);
}

.ts-splitter-vertical {
    grid-area: vsplit;
    border-left-width: 1px;
    border-right-width: 1px;
    cursor: col-resize;
}

.ts-splitter-horizontal {
    grid-area: hsplit;
    border-top-width: 1px;
    border-bottom-width: 1px;
    cursor: row-resize;
}

/* Tree */

.ts-tree ul {
    list-style: none;
    margin: 0;
    padding: 0;
}

.ts-tree ul ul {
    padding-left: 16px;
}

.ts-node {
    display: flex;
    align-items: center;
    gap: 6px;
    padding: 2px 8px;
    white-space: nowrap;
    cursor: default;
    user-select: none;
}

.ts-node:hover {
    background: var(--ts-hover);
}

.ts-node[aria-selected="true"] {
    background: var(--ts-selected);
    color: var(--ts-selected-text);
}

.ts-node:focus-visible {
    outline: 2px solid var(--ts-accent);
    outline-offset: -2px;
}

.ts-twisty {
    width: 12px;
    flex: none;
    text-align: center;
    color: var(--ts-muted);
    font-size: 10px;
    cursor: pointer;
}

.ts-node[aria-selected="true"] .ts-twisty {
    color: inherit;
}

.ts-icon {
    width: 14px;
    flex: none;
    text-align: center;
    font-size: 12px;
}

.ts-node-critical .ts-label {
    color: var(--ts-critical);
    font-weight: 600;
}

.ts-node[aria-selected="true"].ts-node-critical .ts-label {
    color: inherit;
}

/* Tables */

.ts-table-tools {
    min-height: 37px;
    position: sticky;
    top: 0;
    z-index: 2;
    display: flex;
    align-items: center;
    gap: 8px;
    padding: 6px 8px;
    background: var(--ts-bg);
    border-bottom: 1px solid var(--ts-border);
}

.ts-table-tools input[type="search"],
.ts-table-tools input[type="number"] {
    font: inherit;
    padding: 2px 6px;
    border: 1px solid var(--ts-border);
    border-radius: 4px;
    background: var(--ts-bg);
    color: var(--ts-text);
}

.ts-table-tools input[type="search"] {
    width: min(320px, 60%);
}

.ts-table-tools input[type="number"] {
    width: 64px;
}

.ts-count {
    color: var(--ts-muted);
    font-size: 12px;
}

.ts-table {
    width: 100%;
    border-collapse: collapse;
    white-space: nowrap;
}

.ts-table th {
    position: sticky;
    top: 37px;
    z-index: 1;
    padding: 4px 8px;
    background: var(--ts-panel);
    border-bottom: 1px solid var(--ts-border);
    font-weight: 600;
    text-align: left;
    cursor: pointer;
    user-select: none;
}

.ts-table th[aria-sort="ascending"]::after {
    content: " \25B2";
    font-size: 9px;
}

.ts-table th[aria-sort="descending"]::after {
    content: " \25BC";
    font-size: 9px;
}

.ts-table td {
    padding: 3px 8px;
    border-bottom: 1px solid transparent;
}

.ts-table td.ts-number {
    text-align: right;
    font-variant-numeric: tabular-nums;
}

.ts-table tbody tr:nth-child(even) {
    background: var(--ts-row-alt);
}

.ts-table tbody tr:hover {
    background: var(--ts-hover);
}

.ts-table tbody tr[aria-selected="true"] {
    background: var(--ts-selected);
    color: var(--ts-selected-text);
}

.ts-table tbody tr:focus-visible {
    outline: 2px solid var(--ts-accent);
    outline-offset: -2px;
}

.ts-row-alert td:first-child {
    box-shadow: inset 3px 0 0 var(--ts-critical);
}

/* Detail pane: a thread, a monitor, a deadlock */

.ts-stack {
    margin: 0;
    font: 12px/1.5 var(--ts-mono);
    white-space: pre;
    tab-size: 4;
}

.ts-line-header {
    font-weight: 700;
}

.ts-line-jdk {
    color: var(--ts-muted);
}

.ts-line-lock {
    color: var(--ts-info);
}

.ts-line-note {
    color: var(--ts-critical);
    font-weight: 700;
}

.ts-link {
    padding: 0;
    border: 0;
    background: none;
    color: var(--ts-accent);
    font: inherit;
    text-decoration: underline;
    cursor: pointer;
}

.ts-detail h2,
.ts-pane h2 {
    margin: 0 0 8px;
    font-size: 15px;
}

.ts-detail h3,
.ts-pane h3 {
    margin: 16px 0 6px;
    font-size: 13px;
}

.ts-detail ul {
    margin: 4px 0;
    padding-left: 20px;
}

.ts-muted {
    color: var(--ts-muted);
}

.ts-placeholder {
    color: var(--ts-muted);
}

/* Overview and other panes in the content area */

.ts-pane {
    padding: 14px 16px;
    max-width: 960px;
}

.ts-subtitle {
    margin: -4px 0 12px;
    color: var(--ts-muted);
}

.ts-state-bar {
    display: flex;
    height: 22px;
    border: 1px solid var(--ts-border);
    border-radius: 4px;
    overflow: hidden;
}

.ts-state-bar span {
    display: block;
    height: 100%;
}

.ts-state-RUNNABLE { background: var(--ts-state-runnable); }
.ts-state-WAITING { background: var(--ts-state-waiting); }
.ts-state-TIMED_WAITING { background: var(--ts-state-timed); }
.ts-state-BLOCKED { background: var(--ts-state-blocked); }
.ts-state-NEW { background: var(--ts-state-new); }
.ts-state-OTHER { background: var(--ts-state-other); }

.ts-legend {
    display: flex;
    flex-wrap: wrap;
    gap: 4px 14px;
    margin: 6px 0 14px;
    font-size: 12px;
}

.ts-legend i {
    display: inline-block;
    width: 10px;
    height: 10px;
    margin-right: 5px;
    border-radius: 2px;
    vertical-align: -1px;
}

.ts-stats {
    display: grid;
    grid-template-columns: repeat(auto-fill, minmax(190px, 1fr));
    gap: 6px 16px;
    margin: 0 0 14px;
}

.ts-stats div {
    display: flex;
    justify-content: space-between;
    gap: 8px;
    padding: 4px 0;
    border-bottom: 1px solid var(--ts-border);
}

.ts-stats dt {
    color: var(--ts-muted);
}

.ts-stats dd {
    margin: 0;
    font-weight: 600;
    font-variant-numeric: tabular-nums;
}

.ts-hint {
    margin: 0 0 8px;
    padding: 8px 12px;
    border-left: 4px solid var(--ts-info);
    border-radius: 3px;
    background: var(--ts-info-bg);
}

.ts-hint-warning {
    border-left-color: var(--ts-warning);
    background: var(--ts-warning-bg);
}

.ts-hint-critical {
    border-left-color: var(--ts-critical);
    background: var(--ts-critical-bg);
}

.ts-hint .ts-link {
    margin-left: 4px;
}

.ts-block {
    margin: 0;
    padding: 8px 10px;
    border: 1px solid var(--ts-border);
    border-radius: 4px;
    background: var(--ts-panel);
    font: 12px/1.45 var(--ts-mono);
    white-space: pre;
    overflow: auto;
}

.ts-welcome {
    padding: 28px 24px;
    max-width: 640px;
}

.ts-welcome-start {
    display: flex;
    align-items: flex-start;
    gap: 28px;
    max-width: 900px;
}

.ts-welcome-text {
    flex: 1 1 auto;
    min-width: 0;
}

.ts-welcome h1 {
    margin: 0 0 8px;
    font-size: 20px;
}

.ts-welcome p {
    margin: 0 0 10px;
}

.ts-welcome code {
    font-family: var(--ts-mono);
    font-size: 12px;
}

.ts-error {
    color: var(--ts-critical);
}

.ts-drop-overlay {
    position: absolute;
    inset: 0;
    z-index: 10;
    display: none;
    align-items: center;
    justify-content: center;
    background: rgba(47, 111, 208, 0.12);
    border: 3px dashed var(--ts-accent);
    color: var(--ts-accent);
    font-size: 18px;
    font-weight: 600;
    pointer-events: none;
}

.ts-app.ts-dragging .ts-drop-overlay {
    display: flex;
}

@media (max-width: 720px) {
    .ts-main {
        grid-template-columns: 1fr;
        grid-template-rows: minmax(140px, 30%) minmax(200px, 40%) 5px 1fr;
        grid-template-areas: "tree" "content" "hsplit" "detail";
    }

    .ts-splitter-vertical {
        display: none;
    }

    .ts-toolbar-note {
        width: 100%;
    }
}

/* Custom categories editor */

.ts-category-list {
    margin: 12px 0 0;
    padding: 0;
    list-style: none;
}

.ts-category-list li {
    display: flex;
    flex-wrap: wrap;
    gap: 4px 12px;
    padding: 6px 0;
    border-bottom: 1px solid var(--ts-border);
}

.ts-rule-text,
.ts-rule-marker {
    font: 12px/1.45 var(--ts-mono);
    color: var(--ts-muted);
}

.ts-rule-marker {
    margin: 4px 0 0;
    white-space: pre;
}

.ts-field {
    display: flex;
    flex-direction: column;
    gap: 4px;
    margin: 0 0 12px;
    font-weight: 600;
}

.ts-field input,
.ts-field textarea,
.ts-rule-form select,
.ts-rule-pattern {
    font: inherit;
    font-weight: 400;
    padding: 3px 6px;
    border: 1px solid var(--ts-border);
    border-radius: 4px;
    background: var(--ts-bg);
    color: var(--ts-text);
}

.ts-field textarea {
    font-family: var(--ts-mono);
    font-size: 12px;
    resize: vertical;
}

.ts-category-name {
    max-width: 360px;
}

.ts-rule-form {
    margin: 0 0 12px;
    padding: 10px 12px;
    border: 1px solid var(--ts-border);
    border-radius: 4px;
    background: var(--ts-panel);
}

.ts-rule-junction {
    margin: 0 0 8px;
}

.ts-rule-row {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 6px;
    margin: 0 0 6px;
}

.ts-rule-pattern {
    flex: 1 1 220px;
    min-width: 160px;
    font-family: var(--ts-mono);
    font-size: 12px;
}

.ts-rule-flag {
    font-size: 12px;
    white-space: nowrap;
}

.ts-rule-group {
    margin: 6px 0 8px;
    padding: 8px 10px;
    border: 1px dashed var(--ts-border);
    border-radius: 4px;
    background: var(--ts-bg);
}

.ts-rule-buttons {
    display: flex;
    flex-wrap: wrap;
    gap: 8px;
    margin: 8px 0;
}

.ts-button-small {
    padding: 2px 8px;
    font-size: 12px;
}

.ts-rule-status {
    min-height: 20px;
    margin: 0 0 8px;
}

.ts-rule-help {
    font-size: 12px;
}