@font-face {
    font-family: 'VT323';
    font-style: normal;
    font-weight: 400;
    font-display: swap;
    src: url('fonts/VT323-Regular.woff2') format('woff2');
}

@font-face {
    font-family: 'Share Tech Mono';
    font-style: normal;
    font-weight: 400;
    font-display: swap;
    src: url('fonts/ShareTechMono-Regular.woff2') format('woff2');
}

:root {
    /* SLSO8 palette */
    --color-1: #0d2b45;
    --color-2: #203c56;
    --color-3: #544e68;
    --color-4: #8d697a;
    --color-5: #d08159;
    --color-6: #ffaa5e;
    --color-7: #ffd4a3;
    --color-8: #ffecd6;

    /* Semantic mappings */
    --color-bg:               var(--color-1);
    --color-bg-container:     var(--color-2);
    --color-bg-header:        var(--color-2);
    --color-bg-table-header:  var(--color-2);
    --color-bg-hover:         var(--color-3);
    --color-border:           var(--color-3);
    --color-text:             var(--color-8);
    --color-text-dim:         var(--color-7);
    --color-text-dim2:        var(--color-6);
    --color-text-header:      var(--color-8);
    --color-accent:           var(--color-6);
    --color-accent-visited:   var(--color-5);
    --color-container-shadow: rgba(208, 129,  89, 0.3);
    --color-scanline:         rgba(255, 170,  94, 0.04);
    --color-highlight:        var(--color-3);
    --color-glow:             0 0  8px rgba(255, 170, 94, 0.3), 0 0 2px rgba(255, 170, 94, 0.2);
    --color-glow-strong:      0 0 15px rgba(255, 170, 94, 0.4), 0 0 5px rgba(255, 170, 94, 0.3);
    --color-prop-true:        var(--color-5);
    --color-prop-false:       var(--color-3);
    --color-count-red:        var(--color-5);
    --color-count-orange:     var(--color-4);
    --color-count-blue:       var(--color-3);
    --color-count-teal:       var(--color-2);
    --color-count-grey:       var(--color-1);
    --color-count-red-glow:   rgba(208, 129,  89, 0.4);
    --color-count-orange-glow:rgba(141, 105, 122, 0.4);
    --color-count-blue-glow:  rgba( 84,  78, 104, 0.4);
    --color-count-teal-glow:  rgba( 32,  60,  86, 0.4);
    --color-count-grey-glow:  rgba( 13,  43,  69, 0.4);
    /* Status colors, as background/text pairs. Each pair has a contrast ratio
       of at least 4.5:1, the WCAG AA minimum for body text. The more a status
       needs attention, the more it stands out: unmanaged is the strongest
       color, then partially mitigated, then the other managed statuses.
       Mitigated and avoided sit close to the page background, and out of scope
       is only an outline. The variable names use short group names: open
       (unmanaged), partial, managed, done (mitigated, avoided) and none (out
       of scope). */
    --status-open-bg:         var(--color-5);
    --status-open-fg:         var(--color-1);
    --status-partial-bg:      var(--color-6);
    --status-partial-fg:      var(--color-1);
    --status-managed-bg:      var(--color-3);
    --status-managed-fg:      var(--color-8);
    --status-done-bg:         var(--color-2);
    --status-done-fg:         var(--color-8);
    --status-done-border:     var(--color-3);
    --status-none-fg:         var(--color-7);
    --status-none-border:     var(--color-3);

    /* Layout */
    --table-col-width:    36px;
    --table-col-max-height: 210px;
    --table-col-angle:    -55deg;
    --table-sticky-max-w: 400px;
    --diagram-max-height: 60vh;
    --tooltip-max-w:      360px;
    --tooltip-font-size:  0.85em;
    --tooltip-padding:    8px 12px;
    --tooltip-radius:     4px;
}

[data-theme="light"] {
    --color-bg:               var(--color-8);
    --color-bg-container:     var(--color-8);
    --color-bg-header:        var(--color-7);
    --color-bg-table-header:  var(--color-8);
    --color-bg-hover:         var(--color-7);
    --color-border:           var(--color-5);
    --color-text:             var(--color-1);
    --color-text-dim:         var(--color-3);
    --color-text-header:      var(--color-1);
    --color-accent:           var(--color-3);
    --color-accent-visited:   var(--color-4);
    --color-container-shadow: rgba( 84,  78, 104, 0.2);
    --color-scanline:         rgba( 13,  43,  69, 0.03);
    --color-highlight:        var(--color-5);
    --color-glow:             0 0  8px rgba( 84,  78, 104, 0.2), 0 0 2px rgba( 84,  78, 104, 0.1);
    --color-glow-strong:      0 0 15px rgba( 84,  78, 104, 0.3), 0 0 5px rgba( 84,  78, 104, 0.2);
    --color-prop-true:        var(--color-5);
    --color-prop-false:       var(--color-8);
    --color-count-red:        var(--color-5);
    --color-count-orange:     var(--color-4);
    --color-count-blue:       var(--color-3);
    --color-count-teal:       var(--color-2);
    --color-count-grey:       var(--color-1);
    --color-count-red-glow:   rgba(208, 129,  89, 0.35);
    --color-count-orange-glow:rgba(141, 105, 122, 0.35);
    --color-count-blue-glow:  rgba( 84,  78, 104, 0.35);
    --color-count-teal-glow:  rgba( 32,  60,  86, 0.35);
    --color-count-grey-glow:  rgba( 13,  43,  69, 0.35);
    --status-done-bg:         var(--color-7);
    --status-done-fg:         var(--color-1);
    --status-done-border:     var(--color-7);
    --status-none-fg:         var(--color-3);
    --status-none-border:     var(--color-3);
}

h1, h2, h3, h4, h5, h6 {
    font-family: 'VT323', monospace;
}

body {
    font-family: system-ui, -apple-system, 'Segoe UI', Roboto, 'Helvetica Neue', Arial, sans-serif;
    line-height: 1.55;
    margin: 0;
    padding: 0;
    background-color: var(--color-bg);
    color: var(--color-text);
    display: flex;
    justify-content: center;
    background-image: repeating-linear-gradient(
        0deg,
        transparent,
        transparent 2px,
        var(--color-scanline) 2px,
        var(--color-scanline) 4px
    );
}

.main-container {
    width: 95%;
    background-color: var(--color-bg-container);
    padding: 20px;
    box-shadow: 0 0 30px var(--color-container-shadow);
    border: 1px solid var(--color-border);
    border-radius: 4px;
    margin: 20px;
}

a {
    color: var(--color-accent);
    text-decoration: none;
    text-shadow: var(--color-glow);

    &:hover {
        text-decoration: underline;
        text-shadow: var(--color-glow-strong);
    }
    &:visited {
        color: var(--color-accent-visited);
    }
}

header {
    display: flex;
    justify-content: space-between;
    align-items: center;
    color: var(--color-text-header);
    padding: 20px;
    margin-bottom: 30px;
    border-radius: 4px;

    h1 {
        margin: 0 0 15px 0;
        font-size: 3em;
        letter-spacing: 2px;
        text-transform: uppercase;
        text-shadow: var(--color-glow-strong);

        a, a:visited, a:hover {
            color: inherit;
            text-shadow: inherit;
            text-decoration: none;
        }
    }
}

@keyframes blink {
    50% { opacity: 0; }
}

.heading-left {
    display: flex;
    flex-direction: column;
    align-items: flex-start;

    h1::after {
        content: '_';
        animation: blink 1s step-end infinite;
    }
}

.heading-right {
    display: flex;
    align-items: flex-end;
    padding-right: 20px;

    img {
        filter: drop-shadow(0 0 8px var(--color-accent));
    }
}

.theme-toggle {
    cursor: pointer;
    display: flex;
    align-items: center;
    gap: 6px;
    color: var(--color-text-dim);
    font-size: 1em;
    user-select: none;
    margin-right: 16px;

    input { display: none; }
}

.theme-toggle__track {
    width: 44px;
    height: 22px;
    background: var(--color-bg);
    border: 2px solid var(--color-accent);
    border-radius: 11px;
    position: relative;
    transition: background 0.25s;
    box-shadow: var(--color-glow);
    flex-shrink: 0;
}

.theme-toggle__thumb {
    position: absolute;
    width: 14px;
    height: 14px;
    top: 4px;
    left: 4px;
    background: var(--color-accent);
    border-radius: 50%;
    transition: transform 0.25s;
}

.theme-toggle input:checked ~ .theme-toggle__track .theme-toggle__thumb {
    transform: translateX(22px);
}

nav {
    margin-top: 15px;

    a {
        margin-right: 15px;
        font-weight: 500;
        padding: 6px 12px;
        border-radius: 4px;
        background-color: var(--color-bg-header);
        text-transform: uppercase;
        letter-spacing: 1px;
        font-size: 0.85em;

        &:hover {
            background-color: var(--color-bg-hover);
        }
    }

    a.nav-active,
    a.nav-active:visited {
        background-color: var(--color-accent);
        color: var(--color-bg);
        text-shadow: none;
        box-shadow: var(--color-glow);
    }
}

.content {
    padding: 30px;

    h1 {
        color: var(--color-text-header);
        border-bottom: 2px solid var(--color-accent);
        padding-bottom: 10px;
        margin-bottom: 20px;
        text-shadow: var(--color-glow);
    }
    h2 {
        color: var(--color-text-header);
        margin-top: 30px;
        margin-bottom: 15px;
        text-shadow: var(--color-glow);
    }
    h3 {
        color: var(--color-text-header);
        margin-top: 20px;
    }
}

.table-scroll {
    overflow-x: auto;
    margin: 20px 0;

    table {
        margin: 0;
        white-space: nowrap;
    }
}

/* Properties / matrix table */
.prop-table-wrap {
    margin: 0 0 20px 0;
}

.prop-table {
    margin: 0;
    border-collapse: separate;
    border-spacing: 0;
    white-space: nowrap;
    width: auto;

    .prop-sticky {
        position: sticky;
        left: 0;
        z-index: 2;
        background: var(--color-bg-container);
        max-width: var(--table-sticky-max-w);
        overflow: hidden;
        text-overflow: ellipsis;
        white-space: nowrap;
        font-size: 1.2em;
    }

    thead th {
        position: sticky;
        top: 0;
        z-index: 3;
        background: var(--color-bg-table-header);
    }
    thead .prop-sticky {
        z-index: 200;
    }

    th.prop-col {
        padding: 0;
        vertical-align: bottom;
        width: var(--table-col-width);
        min-width: var(--table-col-width);
        max-width: var(--table-col-width);
        height: var(--table-col-max-height);
        overflow: visible;

        div {
            position: absolute;
            bottom: 8px;
            left: calc(var(--table-col-width) / 2);
            transform-origin: 0% 100%;
            transform: rotate(var(--table-col-angle));
            white-space: nowrap;
            max-width: var(--table-col-max-height);
            overflow: hidden;
            text-overflow: ellipsis;
            font-size: 1.2em;
            letter-spacing: 0.5px;
        }
    }

    td.prop-cell {
        text-align: center;
        padding: 8px 4px;
    }

    .prop-severity-row th {
        text-align: left;
        padding: 6px 8px;
        background: var(--color-bg-table-header);
    }

    .prop-sticky--active {
        font-weight: 600;

        a, a:visited, a:hover {
            color: inherit;
            text-shadow: none;
        }
    }

    tr.prop-threat-active td,
    tr.prop-threat-active th {
        background-image: linear-gradient(rgba(208, 129, 89, 0.14), rgba(208, 129, 89, 0.14));
    }
}

.prop-true  { background-color: var(--color-prop-true); }
.prop-false { background-color: var(--color-prop-false); }
.prop-req   { background-color: var(--color-count-orange); }
.prop-mit   { background-color: var(--color-prop-true); }

.prop-cell {
    position: relative;

    &[data-tooltip]::after {
        content: attr(data-tooltip);
        position: absolute;
        bottom: calc(100% + 4px);
        left: 50%;
        transform: translateX(-50%);
        background: var(--color-bg-header);
        color: var(--color-text);
        border: 1px solid var(--color-accent);
        font-family: system-ui, -apple-system, 'Segoe UI', Roboto, 'Helvetica Neue', Arial, sans-serif;
        white-space: pre-line;
        text-align: left;
        padding: var(--tooltip-padding);
        border-radius: var(--tooltip-radius);
        font-size: var(--tooltip-font-size);
        max-width: var(--tooltip-max-w);
        width: max-content;
        line-height: 1.5;
        pointer-events: none;
        opacity: 0;
        transition: opacity 0.15s;
        z-index: 10;
        box-shadow: 0 6px 18px rgba(0, 0, 0, 0.35), var(--color-glow);
    }
    &[data-tooltip]:not([data-tooltip=""]):hover::after {
        opacity: 1;
    }

    &[data-tooltip]:hover {
        z-index: 250;
    }
}

td.prop-highlight {
    background-color: var(--color-highlight) !important;
    color: var(--color-accent) !important;
}

th.prop-col.prop-highlight div {
    background: var(--color-highlight);
    color: var(--color-accent);
    padding: 2px 4px;
    border-radius: 2px;
}

.prop-meta {
    font-size: 0.75em;
    color: var(--color-text-dim);
    margin-top: 3px;
}

.prop-section-row {
    &:hover { background-color: transparent; }
}

.prop-section-cell {
    font-family: 'VT323', monospace;
    font-size: 1.4em;
    color: var(--color-accent);
    text-shadow: var(--color-glow);
    letter-spacing: 1px;
    text-transform: uppercase;
    background: var(--color-bg-header) !important;
    border-top: 2px solid var(--color-border);
    padding: 6px 12px;
}

.prop-section-spacer {
    background: var(--color-bg-header);
    border-top: 2px solid var(--color-border);
}

.section-link {
    font-size: 0.55em;
    font-weight: normal;
    vertical-align: middle;
    margin-left: 0.75em;
    opacity: 0.7;

    &:hover { opacity: 1; }
}

.prop-table .cell-tip {
    position: absolute;
    bottom: calc(100% + 4px);
    left: 50%;
    transform: translateX(-50%);
    display: flex;
    flex-direction: column;
    gap: 6px;
    background: var(--color-bg-header);
    color: var(--color-text);
    border: 1px solid var(--color-accent);
    padding: var(--tooltip-padding);
    border-radius: var(--tooltip-radius);
    font-family: system-ui, -apple-system, 'Segoe UI', Roboto, 'Helvetica Neue', Arial, sans-serif;
    font-size: var(--tooltip-font-size);
    line-height: 1.5;
    width: max-content;
    max-width: var(--tooltip-max-w);
    white-space: normal;
    text-align: left;
    text-transform: none;
    letter-spacing: normal;
    font-weight: 400;
    pointer-events: none;
    opacity: 0;
    transition: opacity 0.15s;
    z-index: 10;
    box-shadow: 0 6px 18px rgba(0, 0, 0, 0.35), var(--color-glow);
}

td.prop-cell:hover .cell-tip,
th.prop-col:hover .cell-tip {
    opacity: 1;
}

td.prop-cell:hover {
    z-index: 250;
}

th.prop-col:hover {
    z-index: 250 !important;
    background: transparent;
}

th.prop-col {
    position: relative;
}

th.prop-col .cell-tip {
    bottom: auto;
    top: calc(100% + 4px);
    left: 0;
    transform: none;
}

.cell-tip__title {
    font-weight: 600;
}

.cell-tip__meta {
    color: var(--color-text-dim);
}

.cell-tip__none {
    color: var(--color-text-dim);
    font-style: italic;
}

.cell-tip__tags {
    display: flex;
    flex-wrap: wrap;
    gap: 4px;
}

.cell-tip .tag {
    margin: 0;
}

/* Matrix severity header row */
.tc-class-row th {
    background: var(--color-bg-header) !important;
}

.tc-class-header {
    font-family: 'VT323', monospace;
    font-size: 1.1em;
    text-transform: uppercase;
    letter-spacing: 1px;
    text-align: center;
    padding: 4px 8px;
    border-left: 1px solid var(--color-border);
    border-bottom: 3px solid transparent;
    color: var(--color-text);

    &:last-child { border-right: 1px solid var(--color-border); }
}

/* DFD theming */
.dfd-container svg {
    background: var(--color-bg-container);
    display: block;
    width: 100%;
    height: auto;

    .graph > polygon { fill: var(--color-bg-container); stroke: transparent; }

    .cluster > polygon,
    .cluster > path { fill: transparent; stroke: var(--color-accent); }
    .cluster text { fill: var(--color-text-dim); }

    .node ellipse,
    .node polygon,
    .node rect { fill: var(--color-bg-header); stroke: var(--color-text-dim); }
    .node text { fill: var(--color-text); }

    .node.tagged text { fill: var(--color-text-dim); }

    .node.highlighted ellipse,
    .node.highlighted polygon,
    .node.highlighted rect { fill: #c0392b; stroke: #c0392b; }
    .node.highlighted text { fill: white; }

    .edge path { stroke: var(--color-text-dim2); fill: none; }
    .edge polygon { fill: var(--color-text-dim); stroke: var(--color-text-dim); }
    .edge text { fill: var(--color-text-dim); }
}

table {
    width: 100%;
    border-collapse: collapse;
    margin: 20px 0;
    font-family: 'Share Tech Mono', monospace;
}

th, td {
    padding: 12px 15px;
    text-align: left;
    border-bottom: 1px solid var(--color-border);
}

th {
    background-color: var(--color-bg-table-header);
    color: var(--color-text-header);
    font-weight: bold;
    text-transform: uppercase;
    font-size: 0.8em;
    letter-spacing: 1px;
    border-bottom: 2px solid var(--color-accent);
    text-shadow: var(--color-glow);
}

tbody tr:hover {
    background-color: var(--color-bg-hover);
}

.badge {
    display: inline-block;
    padding: 3px 8px;
    border-radius: 3px;
    font-size: 0.85em;
    font-weight: bold;
    letter-spacing: 1px;
}

.badge-true {
    background-color: var(--color-prop-true);
    color: var(--color-text);
    box-shadow: 0 0 6px var(--color-count-red-glow);
}

.badge-false {
    background-color: var(--color-prop-false);
    color: var(--color-text-dim);
}

.tag-list {
    display: flex;
    flex-wrap: wrap;
    gap: 8px;
    margin: 15px 0;
}

.tag {
    display: inline-block;
    padding: 4px 10px;
    border-radius: 3px;
    font-size: 0.85em;
    letter-spacing: 0.5px;
    border: 1px solid var(--color-border);
    margin: 2px;
}

.tag--true {
    background-color: var(--color-prop-true);
    color: var(--color-text);
    border-color: var(--color-prop-true);
    box-shadow: 0 0 6px var(--color-count-red-glow);
}

.tag--false {
    background-color: var(--color-prop-false);
    color: var(--color-text-dim);
    border-color: var(--color-prop-false);
}

.tag--text {
    background-color: var(--color-bg-header);
    color: var(--color-text-dim);
}

/* A requirement naming several properties links each one inside its tag. */
.tag a {
    color: inherit;
    text-decoration: underline;
    text-underline-offset: 2px;
}

.click-zoom {
    input[type=checkbox] { display: none; }

    input[type=checkbox]:checked ~ .dfd-container,
    input[type=checkbox]:checked ~ .mermaid-container {
        transform: scale(2.5);
        cursor: zoom-out;
    }
}

.dfd-container,
.mermaid-container {
    border: 1px solid var(--color-border);
    border-radius: 4px;
    padding: 15px;
    margin: 15px 0;
    background: var(--color-bg-container);
    transition: transform 0.25s ease;
    cursor: zoom-in;
}

.dfd-container svg,
.mermaid-container svg {
    display: block;
    width: auto;
    height: auto;
    max-width: 100%;
    max-height: var(--diagram-max-height);
    margin: 0 auto;
}

.mermaid-container svg text {
    font-size: 14px !important;
    font-family: 'Share Tech Mono', monospace !important;
}

details {
    summary {
        cursor: pointer;
        color: var(--color-accent);
        text-shadow: var(--color-glow);
        margin: 10px 0;
        user-select: none;

        &:hover { text-shadow: var(--color-glow-strong); }
    }
}

.scenario-details {
    border: 1px solid var(--color-border);
    border-radius: 4px;
    padding: 8px 12px;
    margin: 6px 0;
    background: var(--color-bg-header);

    &[open] { padding-bottom: 12px; }
}

.affected-components-inline {
    font-size: 0.85em;
    color: var(--color-text-dim);
    font-weight: normal;

    a.tag {
        font-size: 0.9em;
        padding: 1px 6px;
        margin-left: 2px;
        text-decoration: none;
    }
}

.card {
    border: 1px solid var(--color-border);
    padding: 15px;
    margin: 15px;
    border-radius: 5px;
    background-color: var(--color-bg-header);
    flex: 1;

    h3 {
        margin-top: 0;
        color: var(--color-text-header);
        text-shadow: var(--color-glow);
    }
}

.stats {
    display: flex;
    flex-wrap: wrap;
    margin: 20px 0;
}

a.count-box,
a.count-box:visited,
a.count-box:hover {
    color: inherit;
    text-decoration: none;
    text-shadow: none;
}

.count-box {
    flex-grow: 1;
    display: flex;
    flex-direction: column;
    justify-content: space-between;
    align-items: center;
    text-align: center;
    padding: 20px;
    margin: 5px;
    border-radius: 4px;
    position: relative;
    border: 1px solid transparent;
    transition: transform 0.3s ease, box-shadow 0.3s ease;
    font-family: 'Share Tech Mono', monospace;
    min-width: 120px;

    &:hover { transform: translateY(-5px); }
}

.count-box__value {
    font-family: 'VT323', monospace;
    font-size: 3.5em;
    margin-bottom: 20px;
    color: var(--color-8);
}

.count-box__note {
    font-size: 0.8em;
    color: var(--color-7);
    margin-top: -16px;
    margin-bottom: 20px;
}

.count-box__label {
    font-size: 0.75em;
    position: absolute;
    bottom: 8px;
    width: 100%;
    color: var(--color-7);
    letter-spacing: 2px;
    text-transform: uppercase;
    font-weight: bold;
}

.count-box--red, .count-box--critical, .count-box--very-high { background: var(--color-count-red);    box-shadow: 0 0 10px var(--color-count-red-glow); }
.count-box--orange, .count-box--high                         { background: var(--color-count-orange); box-shadow: 0 0 10px var(--color-count-orange-glow); }
.count-box--blue, .count-box--medium                         { background: var(--color-count-blue);   box-shadow: 0 0 10px var(--color-count-blue-glow); }
.count-box--teal, .count-box--low                            { background: var(--color-count-teal);   box-shadow: 0 0 10px var(--color-count-teal-glow); }
.count-box--grey, .count-box--unknown                        { background: var(--color-count-grey);   box-shadow: 0 0 10px var(--color-count-grey-glow); }

.count-box--red:hover    { box-shadow: 0 8px 20px var(--color-count-red-glow); }
.count-box--orange:hover { box-shadow: 0 8px 20px var(--color-count-orange-glow); }
.count-box--blue:hover   { box-shadow: 0 8px 20px var(--color-count-blue-glow); }
.count-box--teal:hover   { box-shadow: 0 8px 20px var(--color-count-teal-glow); }
.count-box--grey:hover   { box-shadow: 0 8px 20px var(--color-count-grey-glow); }


.severity-chart {
    margin: 16px 0 24px 0;
    max-width: 520px;
}

.severity-row {
    display: flex;
    align-items: center;
    gap: 12px;
    margin: 6px 0;
}

.severity-label {
    width: 72px;
    text-align: right;
    font-size: 0.85em;
    color: var(--color-text-dim);
    flex-shrink: 0;
}

.severity-track {
    flex: 1;
    height: 26px;
    background: var(--color-bg);
    border: 1px solid var(--color-border);
    border-radius: 3px;
    overflow: hidden;
}

.severity-fill {
    height: 100%;
    display: flex;
    align-items: center;
    padding-left: 8px;
    min-width: 32px;
    transition: width 0.4s ease;

}

.severity-fill--very-high { background: var(--color-count-red);    box-shadow: inset 0 0 8px var(--color-count-red-glow); }
.severity-fill--high      { background: var(--color-count-orange); box-shadow: inset 0 0 8px var(--color-count-orange-glow); }
.severity-fill--medium    { background: var(--color-count-blue);   box-shadow: inset 0 0 8px var(--color-count-blue-glow); }
.severity-fill--low       { background: var(--color-count-teal);   box-shadow: inset 0 0 8px var(--color-count-teal-glow); }
.severity-fill--unknown   { background: var(--color-count-grey); }

.severity-count {
    font-size: 0.85em;
    font-weight: bold;
    color: var(--color-1);
}

footer {
    text-align: center;
    padding: 16px;
    color: var(--color-text-dim);
    border-top: 1px solid var(--color-border);
    margin-top: 20px;
    opacity: 0.6;
}

.freq-cell {
    font-weight: bold;
    color: var(--color-1);
}

svg a {
    cursor: pointer;
    text-shadow: none;

    text { text-decoration: none; }
    &:hover text { text-decoration: underline; }
}

/* Colors for threat and mitigation statuses. Each status--* class sets the
   pair of variables below; badges, summary count boxes and matrix cells all
   read them, so a status looks the same everywhere. */
.status--unmanaged, .status--proposed {
    --status-bg: var(--status-open-bg);
    --status-fg: var(--status-open-fg);
    --status-border: var(--status-open-bg);
}
.status--partially-mitigated {
    --status-bg: var(--status-partial-bg);
    --status-fg: var(--status-partial-fg);
    --status-border: var(--status-partial-bg);
}
.status--accepted, .status--transferred, .status--inform, .status--optional {
    --status-bg: var(--status-managed-bg);
    --status-fg: var(--status-managed-fg);
    --status-border: var(--status-managed-bg);
}
.status--mitigated, .status--avoided, .status--implemented {
    --status-bg: var(--status-done-bg);
    --status-fg: var(--status-done-fg);
    --status-border: var(--status-done-border);
}
.status--out-of-scope {
    --status-bg: transparent;
    --status-fg: var(--status-none-fg);
    --status-border: var(--status-none-border);
}

.status-badge {
    display: inline-block;
    padding: 1px 7px;
    border-radius: 3px;
    font-size: 0.75em;
    font-weight: bold;
    letter-spacing: 1px;
    text-transform: uppercase;
    vertical-align: middle;
}

.status-badge,
.count-box[class*="status--"] {
    background-color: var(--status-bg);
    color: var(--status-fg);
    border: 1px solid var(--status-border);
}

.status-badge.status--out-of-scope,
.count-box.status--out-of-scope {
    border-style: dashed;
}

/* Informational, not a status: an outline in the text color so it never
   reads as a warning. */
.status-badge.status--test {
    background-color: transparent;
    color: var(--color-text);
    border: 1px solid currentColor;
}

.count-box[class*="status--"] .count-box__value,
.count-box[class*="status--"] .count-box__label,
.count-box[class*="status--"] .count-box__note {
    color: inherit;
}

.risk-score {
    font-family: var(--font-mono, monospace);
    color: var(--color-text-dim);
}

/* A filled matrix cell means the threat applies to that component. The dot
   takes the status text color, which has at least 4.5:1 contrast with the
   cell background. */
td.prop-cell[class*="status--"] {
    background-color: var(--status-bg);
    color: var(--status-fg);
    font-weight: bold;
}

.status-legend {
    display: flex;
    flex-wrap: wrap;
    gap: 8px;
    align-items: center;
    margin: 10px 0 20px;
    color: var(--color-text-dim);
    font-size: 0.9em;
}

/* A threat or mitigation named by its title, with the id alongside. */
/* A tag such as "Legacy" after a name. A muted pill, so it never reads as a
   status badge. */
.item-tag {
    display: inline-block;
    margin-left: 6px;
    padding: 0 7px;
    border: 1px solid var(--color-text-dim);
    border-radius: 999px;
    color: var(--color-text-dim);
    font-size: 0.75rem;
    font-weight: normal;
    letter-spacing: normal;
    text-transform: none;
    white-space: nowrap;
    vertical-align: middle;
}

.ref-id {
    font-family: 'Share Tech Mono', monospace;
    font-size: 0.8em;
    color: var(--color-text-dim);
    white-space: nowrap;
}

.risk {
    white-space: nowrap;
}

.risk-value {
    font-family: 'Share Tech Mono', monospace;
    font-variant-numeric: tabular-nums;
}

.risk-band {
    font-size: 0.75em;
    text-transform: uppercase;
    letter-spacing: 1px;
    color: var(--color-text-dim);
}

.risk-band--high {
    color: var(--color-text);
    font-weight: bold;
}

.muted {
    color: var(--color-text-dim);
}

/* Filter bar above sortable tables. */
.table-filters {
    display: flex;
    flex-wrap: wrap;
    gap: 12px 20px;
    align-items: flex-end;
    margin: 16px 0;
}

.table-filters label {
    display: flex;
    flex-direction: column;
    gap: 4px;
    font-size: 0.8em;
    color: var(--color-text-dim);
    text-transform: uppercase;
    letter-spacing: 1px;
}

.table-filters select,
.table-filters input {
    font: inherit;
    font-size: 1.1em;
    text-transform: none;
    letter-spacing: normal;
    padding: 4px 8px;
    color: var(--color-text);
    background: var(--color-bg-container);
    border: 1px solid var(--color-border);
    border-radius: 3px;
    min-width: 12rem;
}

.table-count {
    margin-left: auto;
    color: var(--color-text-dim);
    font-size: 0.9em;
}

/* Horizontal scroll for wide data tables. Unlike .table-scroll, cells still
   wrap, so long titles don't push the other columns off-screen. */
.scroll-x {
    overflow-x: auto;
}

table[data-sortable] th button {
    font: inherit;
    color: inherit;
    text-transform: inherit;
    letter-spacing: inherit;
    background: none;
    border: 0;
    padding: 0;
    cursor: pointer;
}

table[data-sortable] th[aria-sort="ascending"] button::after { content: " \25B2"; }
table[data-sortable] th[aria-sort="descending"] button::after { content: " \25BC"; }

.register td {
    vertical-align: top;
}

.register-threat {
    min-width: 16rem;
}

.register-list {
    font-size: 0.9em;
    min-width: 10rem;
}

.internals-list {
    display: grid;
    gap: 8px;
}

.footer-nav {
    margin-bottom: 8px;
}

/* Summary: plain totals line above the status counts. */
.summary-totals {
    display: flex;
    flex-wrap: wrap;
    gap: 8px 28px;
    margin-bottom: 24px;
    color: var(--color-text-dim);
}

.summary-totals strong {
    color: var(--color-text);
    font-size: 1.3em;
}

/* The "Open" total groups unmanaged and partially mitigated threats. */
.count-box.status-open-total {
    background-color: var(--status-open-bg);
    color: var(--status-open-fg);
    border: 1px solid var(--status-open-bg);
}

.count-box.status-open-total .count-box__value,
.count-box.status-open-total .count-box__label {
    color: inherit;
}

/* Summary status counts: compact tiles on a grid, so every status stays on
   one or two even rows instead of stretching a lone tile across the page. */
.status-counts {
    display: grid;
    grid-template-columns: repeat(auto-fill, minmax(8.5rem, 1fr));
    gap: 10px;
    margin-bottom: 28px;
}

.status-counts .count-box {
    margin: 0;
    padding: 12px 10px 30px;
}

.status-counts .count-box__value {
    font-size: 2.4em;
    margin-bottom: 4px;
}

/* Threat page: title, id and the risk line lead the page. */
.threat-title {
    margin-bottom: 4px;
}

.threat-id {
    margin-top: 0;
    font-size: 0.9em;
    color: var(--color-text-dim);
}

.risk-line {
    display: grid;
    grid-template-columns: max-content minmax(0, 1fr);
    gap: 6px 16px;
    margin: 16px 0 4px;
    padding: 12px 16px;
    border: 1px solid var(--color-border);
    border-radius: 4px;
    font-size: 1.1em;
}

.risk-line dt {
    color: var(--color-text-dim);
    text-transform: uppercase;
    letter-spacing: 1px;
    font-size: 0.8em;
    align-self: center;
}

.risk-line dd {
    margin: 0;
}

.small {
    font-size: 0.85em;
}

.threat-matching {
    margin-top: 32px;
}

.threat-matching summary {
    cursor: pointer;
    color: var(--color-text-dim);
}

.footer-nav {
    display: flex;
    flex-wrap: wrap;
    gap: 8px 20px;
}

/* Guide: the impact x likelihood grid. */
.risk-grid td,
.risk-grid th {
    text-align: center;
}

.risk-cell {
    font-family: 'Share Tech Mono', monospace;
}

.risk-cell--high {
    font-weight: bold;
}

.defined-in code {
    font-size: 0.95em;
}