.franklin-explorer[hidden],
.franklin-target-control[hidden],
.franklin-error[hidden],
.franklin-step[hidden] {
    display: none !important;
}

.franklin-print-summary {
    display: none;
}

.franklin-static {
    display: block;
}

.franklin-static > h2,
.franklin-explorer h2,
.franklin-explorer h3,
.franklin-source-card h3,
.franklin-limitation h3 {
    color: var(--color-primary);
}

.franklin-static > h2,
.franklin-explorer h2 {
    margin-bottom: var(--space-3);
    font-size: clamp(1.2rem, 3vw, 1.5rem);
}

.franklin-source-card,
.franklin-limitation {
    margin-top: var(--space-4);
    padding: var(--space-4);
    background: var(--color-surface);
    border: 1px solid var(--color-border);
    border-left: 4px solid var(--color-primary);
    border-radius: var(--radius-sm);
}

.franklin-source-card h3,
.franklin-limitation h3 {
    margin-bottom: var(--space-2);
    font-size: 1.08rem;
}

.franklin-layer-label {
    margin-bottom: var(--space-1);
    color: var(--color-muted);
    font-family: var(--font-ui);
    font-size: 0.78rem;
    font-weight: 800;
    letter-spacing: 0.055em;
    text-transform: uppercase;
}

.franklin-sign-list {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(min(100%, 15rem), 1fr));
    gap: var(--space-3);
}

.franklin-sign-list > div {
    min-width: 0;
    padding: var(--space-3);
    background: var(--color-surface-muted);
    border: 1px solid var(--color-border);
    border-radius: var(--radius-sm);
}

.franklin-sign-list dt,
.franklin-static-formula,
.franklin-code,
.franklin-historical-glyph,
.franklin-set-condition,
.franklin-model-output,
.franklin-result-detail {
    font-family: var(--font-mono);
}

.franklin-sign-list dt {
    margin-bottom: var(--space-2);
    font-size: 1.18rem;
    font-weight: 800;
}

.franklin-static-formula {
    padding: var(--space-3);
    font-size: clamp(1rem, 3vw, 1.18rem);
    background: var(--color-surface-muted);
    border-radius: var(--radius-sm);
    overflow-wrap: anywhere;
}

.franklin-source-line {
    margin-top: var(--space-3);
    color: var(--color-muted);
    font-family: var(--font-ui);
    font-size: 0.88rem;
    overflow-wrap: anywhere;
}

.franklin-limitation {
    background: #f3efe5;
    border-left-color: var(--color-accent);
}

.franklin-explorer {
    min-width: 0;
    margin: var(--space-6) 0;
    padding: clamp(var(--space-4), 3vw, var(--space-5));
    background: var(--color-surface);
    border: 2px solid var(--color-primary);
    border-radius: var(--radius-md);
    box-shadow: var(--shadow-resting);
}

.franklin-explorer-header {
    margin-bottom: var(--space-5);
    padding-bottom: var(--space-4);
    border-bottom: 2px solid var(--color-border);
}

.franklin-controls,
.franklin-preview,
.franklin-process,
.franklin-result {
    min-width: 0;
    margin-top: var(--space-5);
}

.franklin-controls label,
.franklin-controls legend,
.franklin-button {
    font-family: var(--font-ui);
}

.franklin-controls label,
.franklin-controls legend {
    max-width: 100%;
    overflow-wrap: anywhere;
}

.franklin-control-grid,
.franklin-helper-grid {
    display: grid;
    grid-template-columns: minmax(8rem, auto) minmax(0, 1fr);
    align-items: center;
    gap: var(--space-3);
}

.franklin-control-grid label,
.franklin-helper-grid label,
.franklin-target-control label {
    font-weight: 700;
}

.franklin-controls select,
.franklin-controls input,
.franklin-button {
    min-height: 2.75rem;
}

.franklin-controls select {
    width: 100%;
    max-width: 100%;
    padding: var(--space-2) var(--space-3);
    color: var(--color-ink);
    background: var(--color-surface);
    border: 1px solid var(--color-border-strong);
    border-radius: var(--radius-sm);
}

.franklin-controls :where(select, input):focus-visible {
    outline: 3px solid var(--color-focus);
    outline-offset: 2px;
}

.franklin-helper,
.franklin-input-group,
.franklin-statement-editor {
    min-width: 0;
    margin-top: var(--space-5);
    padding: var(--space-4);
    border: 1px solid var(--color-border-strong);
    border-radius: var(--radius-sm);
}

.franklin-helper > legend,
.franklin-input-group > legend,
.franklin-statement-editor > legend {
    padding-inline: var(--space-2);
    color: var(--color-primary);
    font-weight: 800;
}

.franklin-editor-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(min(100%, 15.5rem), 1fr));
    gap: var(--space-4);
}

.franklin-statement-editor {
    margin-top: 0;
    background: var(--color-surface-muted);
}

.franklin-statement-editor > label,
.franklin-term-row > label:first-child {
    display: block;
    margin-bottom: var(--space-1);
    font-weight: 700;
}

.franklin-term-row {
    min-width: 0;
    margin-top: var(--space-3);
}

.franklin-check {
    display: flex;
    align-items: center;
    gap: var(--space-2);
    margin-top: var(--space-2);
    font-weight: 600;
}

.franklin-check input {
    width: 1.25rem;
    min-height: 1.25rem;
    accent-color: var(--color-primary);
}

.franklin-target-control {
    display: grid;
    grid-template-columns: minmax(8rem, auto) minmax(0, 1fr);
    align-items: center;
    gap: var(--space-3);
    margin-top: var(--space-4);
}

.franklin-actions,
.franklin-step-navigation {
    display: flex;
    flex-wrap: wrap;
    gap: var(--space-3);
    margin-top: var(--space-4);
}

.franklin-button {
    max-width: 100%;
    padding: var(--space-2) var(--space-4);
    color: #ffffff;
    background: var(--color-primary);
    border: 2px solid var(--color-primary);
    border-radius: var(--radius-sm);
    cursor: pointer;
    font-weight: 750;
    line-height: 1.3;
    overflow-wrap: anywhere;
}

.franklin-button-secondary {
    color: var(--color-primary);
    background: var(--color-surface);
}

.franklin-button:hover:not(:disabled) {
    color: #ffffff;
    background: var(--color-link);
    border-color: var(--color-link);
}

.franklin-button:disabled {
    cursor: not-allowed;
    opacity: 0.58;
}

.franklin-controls :where(select, input)[aria-invalid="true"] {
    border-color: var(--color-accent);
    box-shadow: 0 0 0 1px var(--color-accent);
}

.franklin-error {
    margin-top: var(--space-3);
    padding: var(--space-3);
    color: #762828;
    background: #fff0f0;
    border: 2px solid var(--color-accent);
    border-radius: var(--radius-sm);
    font-weight: 700;
}

.franklin-preview h3,
.franklin-process h3,
.franklin-result h3 {
    margin-bottom: var(--space-3);
    font-size: 1.15rem;
}

.franklin-table-wrap {
    max-width: 100%;
    overflow-x: auto;
    border: 1px solid var(--color-border);
    border-radius: var(--radius-sm);
}

.franklin-table-wrap:focus-visible {
    outline: 3px solid var(--color-focus);
    outline-offset: 2px;
}

.franklin-table-wrap table {
    width: 100%;
    min-width: 42rem;
    border-collapse: collapse;
    font-size: 0.92rem;
}

.franklin-table-wrap th,
.franklin-table-wrap td {
    padding: var(--space-3);
    text-align: start;
    vertical-align: top;
    border-bottom: 1px solid var(--color-border);
}

.franklin-table-wrap thead th {
    color: #ffffff;
    background: var(--color-primary);
    font-family: var(--font-ui);
}

.franklin-table-wrap tbody th {
    color: var(--color-primary);
    background: var(--color-surface-muted);
    font-family: var(--font-ui);
}

.franklin-step-list {
    padding-inline-start: 1.5rem;
}

.franklin-step {
    margin-top: var(--space-3);
    padding: var(--space-4);
    background: var(--color-surface-muted);
    border: 1px solid var(--color-border);
    border-left: 4px solid var(--color-link);
    border-radius: var(--radius-sm);
}

.franklin-step-title {
    margin-bottom: var(--space-2);
    color: var(--color-primary);
    font-size: 1rem;
}

.franklin-condition-list {
    margin-top: var(--space-3);
}

.franklin-condition-list li[data-passed="true"]::marker {
    content: "✓  ";
}

.franklin-condition-list li[data-passed="false"]::marker {
    content: "×  ";
}

.franklin-model-output,
.franklin-result-detail {
    margin-top: var(--space-2);
    overflow-wrap: anywhere;
}

.franklin-result {
    padding: var(--space-4);
    background: #eef3f6;
    border: 1px solid var(--color-border-strong);
    border-left: 4px solid var(--color-primary);
    border-radius: var(--radius-sm);
}

#franklin-result-code {
    display: inline-block;
    padding: var(--space-1) var(--space-2);
    color: #ffffff;
    background: var(--color-primary);
    border-radius: var(--radius-sm);
    font-family: var(--font-mono);
    overflow-wrap: anywhere;
}

.franklin-visually-hidden {
    position: absolute !important;
    width: 1px !important;
    height: 1px !important;
    padding: 0 !important;
    margin: -1px !important;
    overflow: hidden !important;
    clip: rect(0, 0, 0, 0) !important;
    white-space: nowrap !important;
    border: 0 !important;
}

@media (max-width: 40rem) {
    .franklin-control-grid,
    .franklin-helper-grid,
    .franklin-target-control {
        grid-template-columns: minmax(0, 1fr);
        gap: var(--space-2);
    }

    .franklin-helper-grid label:not(:first-child),
    .franklin-control-grid label:not(:first-child) {
        margin-top: var(--space-2);
    }

    .franklin-actions,
    .franklin-step-navigation {
        align-items: stretch;
        flex-direction: column;
    }

    .franklin-button {
        width: 100%;
    }
}

@media print {
    .franklin-controls,
    .franklin-step-navigation,
    .franklin-visually-hidden,
    .franklin-result {
        display: none !important;
    }

    .franklin-print-summary {
        display: block !important;
    }

    .franklin-step[hidden] {
        display: list-item !important;
    }

    .franklin-static,
    .franklin-explorer,
    .franklin-source-card,
    .franklin-limitation,
    .franklin-step,
    .franklin-print-summary {
        color: #000000 !important;
        background: #ffffff !important;
        border-color: #777777 !important;
        box-shadow: none !important;
    }

    .franklin-explorer,
    .franklin-step,
    .franklin-source-card,
    .franklin-limitation,
    .franklin-print-summary {
        break-inside: avoid-page;
    }

    .franklin-print-definition-list {
        display: grid;
        grid-template-columns: max-content minmax(0, 1fr);
        gap: 2mm 4mm;
    }

    .franklin-print-definition-list dd {
        margin: 0;
        overflow-wrap: anywhere;
    }

    .franklin-table-wrap {
        overflow: visible !important;
    }

    .franklin-table-wrap table {
        min-width: 0 !important;
        font-size: 7.5pt;
    }

    .franklin-table-wrap thead th,
    .franklin-print-result-code {
        color: #000000 !important;
        background: #ffffff !important;
        border: 1px solid #777777 !important;
    }
}