/* Defines the desktop and mobile layouts of the tclal web interface. */

@font-face {
    font-family: "Source Sans 3";
    src: url("fonts/SourceSans3-Regular.woff2") format("woff2");
    font-style: normal;
    font-weight: 400;
    font-display: swap;
}

@font-face {
    font-family: "Source Sans 3";
    src: url("fonts/SourceSans3-Semibold.woff2") format("woff2");
    font-style: normal;
    font-weight: 600;
    font-display: swap;
}

@font-face {
    font-family: "Source Code Pro";
    src: url("fonts/SourceCodePro-Regular.woff2") format("woff2");
    font-style: normal;
    font-weight: 400;
    font-display: swap;
}

@font-face {
    font-family: "Source Code Pro";
    src: url("fonts/SourceCodePro-Semibold.woff2") format("woff2");
    font-style: normal;
    font-weight: 600;
    font-display: swap;
}

:root {
    color-scheme: dark;

    --background: #15121d;
    --background-soft: #211c2d;
    --accent: #a78bfa;
    --text: #f5f2fa;
    --text-muted: #aaa2b7;

    --success: #7dd3a7;
    --warning: #f2c879;
    --error: #f08a8a;

    --line: 0.0625rem;
    --radius: 0.9rem;
    --small-radius: 0.55rem;

    --sans-font: "Source Sans 3", sans-serif;
    --mono-font: "Source Code Pro", monospace;
}

:root[data-theme="light"] {
    color-scheme: light;

    --background: #f7f5fa;
    --background-soft: #e9e4ef;
    --accent: #6f4bb8;
    --text: #211c28;
    --text-muted: #696171;

    --success: #3f9668;
    --warning: #b47c18;
    --error: #cf5555;
}

* {
    box-sizing: border-box;
}

html {
    scroll-behavior: smooth;
}

body {
    margin: 0;
    background: var(--background);
    color: var(--text);
    font-family: var(--sans-font);
    line-height: 1.6;
}

::selection {
    background: var(--accent);
    color: var(--background);
}

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

a:hover {
    color: var(--text);
}

button,
input,
select,
textarea {
    font: inherit;
}

button,
select,
summary {
    cursor: pointer;
}

button:focus-visible,
input:focus-visible,
select:focus-visible,
textarea:focus-visible {
    outline: none;
    border-color: var(--accent);
}

summary:focus-visible,
a:focus-visible {
    outline: none;
    color: var(--accent);
    text-decoration: underline;
    text-underline-offset: 0.2rem;
}

code,
pre {
    font-family: var(--mono-font);
}

strong {
    color: var(--text);
    font-weight: 600;
}

h1,
h2,
h3,
h4,
p {
    margin-top: 0;
}

h1 {
    margin-bottom: 0;
    font-size: 1.5rem;
    font-weight: 600;
    letter-spacing: -0.015em;
}

h2 {
    margin-bottom: 0;
    color: var(--accent);
    font-family: var(--mono-font);
    font-size: 1rem;
    font-weight: 600;
    letter-spacing: 0.07em;
    text-transform: uppercase;
}

h3 {
    margin-bottom: 1rem;
    color: var(--accent);
    font-family: var(--mono-font);
    font-size: 0.94rem;
    font-weight: 600;
    letter-spacing: 0.06em;
    text-transform: uppercase;
}

h4 {
    margin-bottom: 0.7rem;
    color: var(--text-muted);
    font-size: 0.84rem;
    font-weight: 600;
    letter-spacing: 0.05em;
    text-transform: uppercase;
}

#example-select {
    width: 18rem;
}

#state-select {
    width: 16rem;
}

#language-select {
    width: 6.5rem;
}

main {
    padding: 0 3rem;
}

.language-introduction {
    padding: 1.5rem 0 0;
}

.language-introduction h1 {
    margin: 0;
    color: var(--text);
    line-height: 1.45;
}

.language-introduction h1 strong {
    color: var(--accent);
    font-family: var(--mono-font);
    font-size: inherit;
}

.page-section {
    padding: 1.5rem 0 5rem;
    scroll-margin-top: 5.5rem;
}

.section-heading {
    display: flex;
    align-items: flex-end;
    justify-content: space-between;
    gap: 2rem;
    margin-bottom: 1.25rem;
}

.panel {
    border-radius: var(--radius);
    background: transparent;
}

.panel-heading {
    display: flex;
    align-items: flex-start;
    justify-content: space-between;
    gap: 1.5rem;
    margin-bottom: 1.25rem;
}

.panel-heading h3 {
    margin-bottom: 0;
}

/* Workbench editor and controls. */

.example-selector,
.state-selector {
    display: flex;
    align-items: center;
    gap: 0.7rem;
    color: var(--text-muted);
    font-size: 0.9rem;
}

.state-controls {
    display: flex;
    align-items: center;
    gap: 0.7rem;
}

select,
input,
textarea {
    border: var(--line) solid transparent;
    border-radius: var(--small-radius);
    background: var(--background-soft);
    color: var(--text);
}

select,
input {
    min-height: 2.5rem;
    padding: 0.4rem 0.7rem;
}

select:disabled,
input:disabled {
    cursor: not-allowed;
    color: var(--text-muted);
    opacity: 0.5;
}

.editor-panel {
    padding: 1.25rem 0;
}

.editor-panel>label {
    display: block;
    margin-bottom: 0.6rem;
    color: var(--text-muted);
    font-size: 0.9rem;
    font-weight: 600;
}

#source-input {
    display: block;
    width: 100%;
    min-height: 12rem;
    padding: 1rem;
    resize: vertical;
    font-family: var(--mono-font);
    font-size: 0.95rem;
    line-height: 1.7;
    tab-size: 4;
}

#source-input::placeholder,
input::placeholder {
    color: var(--text-muted);
}

.execution-options {
    margin-top: 1rem;
}

.execution-options summary {
    padding: 0.85rem 0;
    color: var(--text-muted);
    font-size: 0.92rem;
    font-weight: 600;
}

.execution-options[open] summary {
    color: var(--accent);
}

.options-grid {
    display: grid;
    grid-template-columns: repeat(4, minmax(0, 1fr));
    gap: 1rem;
    padding-bottom: 1rem;
}

.options-grid label {
    color: var(--text-muted);
    font-size: 0.88rem;
    font-weight: 600;
}

.options-grid input {
    display: block;
    width: 100%;
    margin: 0.4rem 0;
}

#initial-naf-input {
    padding: 0.3rem;
}

#initial-naf-input::file-selector-button {
    margin-right: 0.7rem;
    border: 0;
    border-radius: var(--small-radius);
    padding: 0.35rem 0.65rem;
    background: var(--accent);
    color: var(--background);
    font-family: var(--sans-font);
    font-weight: 600;
    cursor: pointer;
}

#initial-naf-input::file-selector-button:hover {
    filter: brightness(1.1);
}

.options-grid label span {
    display: block;
    color: var(--text-muted);
    font-size: 0.78rem;
    font-weight: 400;
    line-height: 1.4;
}

.action-bar {
    display: flex;
    flex-wrap: wrap;
    gap: 0.7rem;
    margin-top: 1rem;
}

.action-bar button,
.download-link,
.download-naf-button {
    display: inline-flex;
    align-items: center;
    justify-content: center;
    min-height: 2.5rem;
    border: 0;
    border-radius: var(--small-radius);
    padding: 0.5rem 0.9rem;
    background: var(--accent);
    color: var(--background);
    font-size: 0.9rem;
    font-weight: 600;
    transition: filter 0.2s ease, box-shadow 0.2s ease;
}

.action-bar button:hover,
.download-link:hover,
.download-naf-button:hover {
    color: var(--background);
    filter: brightness(1.1);
    box-shadow: 0 0 0.8rem var(--accent);
}

.action-bar button:disabled,
.download-naf-button:disabled {
    cursor: not-allowed;
    background: var(--text-muted);
    color: var(--background);
    filter: none;
    box-shadow: none;
    opacity: 0.45;
}

/* Workbench request messages. */

.message-area {
    display: none;
    margin-top: 1rem;
    border: var(--line) solid var(--text-muted);
    border-radius: var(--small-radius);
    padding: 0.75rem 0.9rem;
    background: var(--background-soft);
    color: var(--text-muted);
    font-family: var(--mono-font);
    font-size: 0.86rem;
    white-space: pre-wrap;
}

.message-area a {
    color: inherit;
    font-weight: 600;
    text-decoration: underline;
    text-underline-offset: 0.2rem;
}

.message-area.visible {
    display: block;
}

.message-area.success {
    border-color: var(--success);
    color: var(--success);
}

.message-area.warning {
    border-color: var(--warning);
    color: var(--warning);
}

.message-area.error {
    border-color: var(--error);
    color: var(--error);
}

.message-area.loading {
    border-color: var(--accent);
    color: var(--accent);
}

.request-row {
    margin-top: 1rem;
}

.request-row .message-area {
    width: 100%;
    margin-top: 0;
}

.request-row .message-area.visible {
    display: flex;
    align-items: center;
    gap: 0.7rem;
}

#request-message-text {
    flex: 1;
    min-width: 0;
}

#json-button {
    flex-shrink: 0;
    min-height: auto;
    border: 0;
    padding: 0 0.2rem;
    background: transparent;
    color: inherit;
    font-family: var(--mono-font);
    font-size: 0.86rem;
    font-weight: 600;
    box-shadow: none;
}

#json-button:hover {
    background: transparent;
    box-shadow: none;
    text-decoration: underline;
    text-underline-offset: 0.2rem;
}

/* Workbench execution trace. */

.execution-grid {
    display: grid;
    grid-template-columns: minmax(0, 1fr) minmax(0, 2fr);
    gap: 2.25rem;
    margin-top: 1.25rem;
}

.trace-panel,
.state-panel,
.observables-panel {
    min-width: 0;
    padding: 1.25rem 0;
}

.trace-panel,
.state-panel {
    display: flex;
    flex-direction: column;
}

.execution-summary {
    display: flex;
    flex: 1;
    min-height: 0;
    flex-direction: column;
}

.process-output {
    flex: 1;
    min-height: 7rem;
    max-height: none;
}

.status-badge {
    display: inline-flex;
    align-items: center;
    min-height: 1.8rem;
    border-radius: 1rem;
    padding: 0.2rem 0.65rem;
    background: var(--background-soft);
    color: var(--text-muted);
    font-family: var(--mono-font);
    font-size: 0.78rem;
    white-space: nowrap;
}

.status-badge.running {
    color: var(--accent);
}

.status-badge.terminated {
    color: var(--success);
}

.status-badge.blocked,
.status-badge.limit-reached {
    color: var(--warning);
}

.status-badge.error {
    color: var(--error);
}

.trace-steps {
    display: flex;
    gap: 0.5rem;
    min-height: 3rem;
    margin-bottom: 1.25rem;
    padding-bottom: 0.5rem;
    overflow-x: auto;
}

.trace-step {
    flex: 0 0 auto;
    min-width: 2.5rem;
    min-height: 2.5rem;
    border: 0;
    border-radius: 50%;
    padding: 0.3rem;
    background: var(--background-soft);
    color: var(--text-muted);
    font-family: var(--mono-font);
}

.trace-step:hover {
    background: var(--background-soft);
    color: var(--accent);
    filter: none;
    box-shadow: none;
}

.trace-step.active {
    background: var(--accent);
    color: var(--background);
}

.execution-summary dl {
    display: grid;
    grid-template-columns: repeat(2, minmax(0, 1fr));
    gap: 0.7rem;
    margin: 0 0 1.25rem;
}

.execution-summary dl div {
    min-width: 0;
    border-radius: var(--small-radius);
    padding: 0.65rem 0.75rem;
    background: var(--background-soft);
}

.execution-summary dt {
    margin-bottom: 0.15rem;
    color: var(--text-muted);
    font-size: 0.76rem;
    font-weight: 600;
    letter-spacing: 0.04em;
    text-transform: uppercase;
}

.execution-summary dd {
    margin: 0;
    overflow-wrap: anywhere;
    color: var(--text);
    font-family: var(--mono-font);
    font-size: 0.84rem;
}

.transition-details {
    margin-bottom: 1.25rem;
}

.transition-name {
    margin: 0;
    border-radius: var(--small-radius) var(--small-radius) 0 0;
    padding: 0.65rem 0.85rem 0.15rem;
    background: var(--background-soft);
    color: var(--accent);
    font-family: var(--mono-font);
    font-size: 0.84rem;
    font-weight: 600;
}

.transition-operations {
    margin: 0;
    max-height: 10rem;
    overflow: auto;
    border-radius: 0 0 var(--small-radius) var(--small-radius);
    padding: 0.15rem 0.85rem 0.85rem;
    background: var(--background-soft);
    color: var(--text);
    font-family: var(--mono-font);
    font-size: 0.85rem;
    line-height: 1.65;
    white-space: pre-wrap;
    overflow-wrap: anywhere;
}

.process-output,
#bibtex-output {
    margin: 0;
    overflow: auto;
    border-radius: var(--small-radius);
    padding: 0.85rem;
    background: var(--background-soft);
    color: var(--text);
    font-size: 0.85rem;
    line-height: 1.65;
    white-space: pre-wrap;
    overflow-wrap: anywhere;
}

/* Workbench state inspector. */

.state-content {
    display: grid;
    flex: 1;
    min-height: 0;
    grid-template-columns: minmax(14rem, 0.65fr) minmax(18rem, 1.35fr);
    gap: 1rem;
}

.state-text,
.graph-container {
    min-width: 0;
    border-radius: 0.65rem;
    padding: 1rem;
    background: var(--background-soft);
}

.state-heading {
    display: flex;
    align-items: baseline;
    gap: 0.6rem;
}

.agent-count {
    color: var(--text-muted);
    font-size: 0.82rem;
}

.framework-component+.framework-component {
    margin-top: 1rem;
}

.framework-component>span {
    display: block;
    margin-bottom: 0.45rem;
    color: var(--text-muted);
    font-size: 0.78rem;
    font-weight: 600;
    letter-spacing: 0.05em;
    text-transform: uppercase;
}

.framework-elements {
    display: flex;
    flex-wrap: wrap;
    gap: 0.4rem;
}

.argument-element,
.attack-element {
    display: inline-flex;
    align-items: center;
    border-radius: 0.45rem;
    padding: 0.25rem 0.5rem;
    background: var(--background);
    color: var(--text);
    font-family: var(--mono-font);
    font-size: 0.82rem;
}

.argument-element sup,
.attack-element sup {
    position: relative;
    top: -0.2em;
    margin-left: 0.15rem;
    color: var(--accent);
    font-size: 0.72rem;
    font-weight: 600;
}

.graph-container {
    min-height: 25rem;
    padding: 0;
    overflow: hidden;
}

#state-graph {
    display: flex;
    align-items: center;
    justify-content: center;
    width: 100%;
    height: 100%;
    min-height: 25rem;
    color: var(--text-muted);
    text-align: center;
}

#state-graph svg {
    display: block;
    width: 100%;
    height: 100%;
    min-height: 25rem;
}

.graph-attack {
    fill: none;
    stroke: var(--accent);
    stroke-width: 0.1rem;
    opacity: 0.75;
}

.graph-arrow {
    fill: var(--accent);
}

.graph-attack-owner {
    fill: var(--accent);
    font-family: var(--mono-font);
    font-size: 0.72rem;
    text-anchor: middle;
}

.graph-node {
    cursor: grab;
}

.graph-node:active {
    cursor: grabbing;
}

.graph-node circle {
    fill: var(--background);
    stroke: var(--accent);
    stroke-width: 0.12rem;
}

.graph-node text {
    fill: var(--text);
    font-family: var(--mono-font);
    font-size: 0.88rem;
    pointer-events: none;
}

.graph-owner-label {
    fill: var(--accent) !important;
    font-size: 0.72rem !important;
}

/* Workbench observables. */

.observables-panel {
    margin-top: 1.25rem;
    scroll-margin-top: 5.5rem;
}

#observables-list {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(15rem, 1fr));
    gap: 0.8rem;
}

.observable-card {
    border-radius: 0.6rem;
    padding: 0.9rem;
    background: var(--background-soft);
}

.observable-card h4 {
    color: var(--accent);
}

.observable-card p {
    margin-bottom: 0.45rem;
    color: var(--text);
    font-family: var(--mono-font);
    font-size: 0.82rem;
}

.back-to-program {
    margin: 1.25rem 0 0;
    text-align: right;
}

.back-to-program a {
    color: var(--text-muted);
    font-size: 0.9rem;
}

.back-to-program a:hover {
    color: var(--accent);
}

/* Documentation page. */

.documentation-part {
    padding-bottom: 4rem;
}

.documentation-part+.documentation-part {
    border-top: var(--line) solid var(--background-soft);
    padding-top: 4rem;
}

.documentation-part .section-heading {
    margin-bottom: 2rem;
}

.documentation-part>.section-heading,
.documentation-content {
    max-width: 72rem;
    margin-right: auto;
    margin-left: auto;
}

.documentation-content>section+section {
    margin-top: 3.5rem;
    border-top: var(--line) solid var(--background-soft);
    padding-top: 3.5rem;
}

.documentation-content>section>p,
.documentation-steps,
.formal-definition {
    width: 100%;
    max-width: 72rem;
    margin-left: auto;
    margin-right: auto;
}

.documentation-content>section>p:last-child,
.formal-definition p:last-child {
    margin-bottom: 0;
}

.documentation-content p code,
.documentation-content li code {
    color: var(--accent);
}

.documentation-code {
    display: block;
    width: 100%;
    max-width: 72rem;
    margin: 1.25rem auto;
    overflow: auto;
    border-radius: var(--small-radius);
    padding: 1rem 1.1rem;
    background: var(--background-soft);
    color: var(--text);
    font-size: 0.85rem;
    line-height: 1.7;
    white-space: pre-wrap;
    overflow-wrap: anywhere;
}

.documentation-steps {
    margin-top: 1.25rem;
    margin-bottom: 0;
    padding-left: 1.4rem;
}

.documentation-steps li {
    padding-left: 0.25rem;
}

.documentation-steps li+li {
    margin-top: 0.55rem;
}

.formal-definition {
    margin-top: 0;
    margin-bottom: 1rem;
}

.documentation-formula {
    width: 100%;
    max-width: 72rem;
    margin: 1.4rem auto;
    color: var(--text);
    font-family: var(--mono-font);
    font-size: 0.95rem;
    text-align: center;
}

.documentation-table-container {
    width: 100%;
    max-width: 72rem;
    margin: 1.25rem auto;
    overflow-x: auto;
    border-radius: var(--small-radius);
    background: var(--background-soft);
}

.documentation-table {
    width: 100%;
    border-collapse: collapse;
    color: var(--text);
    font-size: 0.88rem;
}

.documentation-table th,
.documentation-table td {
    padding: 0.7rem 0.85rem;
    text-align: left;
    vertical-align: top;
}

.documentation-table th {
    border-bottom: var(--line) solid var(--text-muted);
    color: var(--text-muted);
    font-size: 0.76rem;
    font-weight: 600;
    letter-spacing: 0.05em;
    text-transform: uppercase;
}

.documentation-table tbody tr {
    border-top: var(--line) solid var(--background);
}

.documentation-table tbody tr:first-child {
    border-top: 0;
}

.documentation-table code {
    color: var(--accent);
}

#workbench-guide .documentation-table td:first-child {
    width: 14rem;
    font-weight: 600;
    white-space: nowrap;
}

.documentation-download-link {
    font-weight: 600;
    text-decoration: underline;
    text-underline-offset: 0.2rem;
}

.language-constructs-table {
    table-layout: fixed;
}

.language-constructs-table .construct-column {
    width: 13rem;
}

.language-constructs-table .syntax-column {
    width: 19rem;
}

.grammar-output {
    display: grid;
    grid-template-columns: max-content auto minmax(0, 1fr);
    column-gap: 0.4rem;
    row-gap: 0.4rem;
    width: 100%;
    max-width: 72rem;
    margin: 1.25rem auto 0;
    border-radius: var(--small-radius);
    padding: 1.1rem 1.25rem;
    background: var(--background-soft);
    color: var(--text);
    font-family: var(--mono-font);
    font-size: 0.85rem;
    line-height: 1.65;
}

.grammar-rule {
    display: contents;
}

.grammar-term {
    color: var(--accent);
    font-weight: 600;
    text-align: right;
    white-space: nowrap;
}

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

.grammar-production {
    min-width: 0;
    color: var(--text);
    white-space: normal;
    overflow-wrap: anywhere;
}

.grammar-production span {
    display: block;
}

.operational-table {
    table-layout: fixed;
}

.operational-table .operation-column {
    width: 14rem;
}

.operational-table .rule-column {
    width: 7rem;
}

.operational-table td[rowspan],
.operational-table tr.rule-group-start>td:first-child {
    font-weight: 600;
}

.operational-table td code {
    white-space: nowrap;
}

.operational-table tbody tr.rule-group-start:not(:first-child) {
    border-top: 0.125rem solid var(--background);
}

/* Resources page. */

.resources-part {
    width: 100%;
    max-width: 72rem;
    margin-right: auto;
    margin-left: auto;
    padding-bottom: 4rem;
}

.resources-part+.resources-part {
    border-top: var(--line) solid var(--background-soft);
    padding-top: 4rem;
}

.resources-part .section-heading {
    margin-bottom: 2rem;
}

.resources-content>section+section {
    margin-top: 3.5rem;
    border-top: var(--line) solid var(--background-soft);
    padding-top: 3.5rem;
}

.resources-content>p,
.resources-content>section>p {
    width: 100%;
    margin-right: auto;
    margin-left: auto;
}

.resources-content>section>p:last-child {
    margin-bottom: 0;
}

.resources-content p code {
    color: var(--accent);
}

.resource-download {
    border-radius: var(--small-radius);
    padding: 1.25rem;
    background: var(--background-soft);
}

.resource-download p {
    margin-bottom: 1rem;
}

.download-link {
    margin-top: 0.25rem;
}

.resource-note {
    margin-top: 1rem;
    color: var(--text-muted);
    font-size: 0.84rem;
}

.command-table {
    table-layout: fixed;
}

.command-table th:first-child,
.command-table td:first-child {
    width: 15rem;
    font-weight: 600;
}

.references-list {
    margin: 0;
    padding-left: 1.6rem;
}

.references-list li {
    padding-left: 0.4rem;
}

.references-list li+li {
    margin-top: 1rem;
}

.references-list li::marker {
    color: var(--accent);
    font-family: var(--mono-font);
    font-weight: 600;
}

.references-list cite {
    color: var(--accent);
    font-style: normal;
}

/* Shared utilities and footer. */

.placeholder-text {
    margin: 0;
    color: var(--text-muted);
    font-size: 0.88rem;
}

.hidden {
    display: none !important;
}

footer {
    padding: 2.5rem 2rem;
    background: var(--background-soft);
    color: var(--text-muted);
    text-align: center;
    font-size: 0.88rem;
}

footer p {
    margin-bottom: 0.35rem;
}

footer p:last-child {
    margin-bottom: 0;
}

/* Mobile layout. */

@media screen and (max-width: 850px) {
    main {
        padding: 0 1rem;
    }

    .language-introduction {
        padding-top: 1rem;
    }

    .section-heading,
    .panel-heading {
        align-items: stretch;
        flex-direction: column;
        gap: 0.8rem;
    }

    .example-selector,
    .state-selector {
        align-items: stretch;
        flex-direction: column;
        gap: 0.35rem;
    }

    .example-selector select,
    .state-selector select {
        width: 100%;
    }

    #language-select {
        max-width: 8rem;
    }

    .options-grid,
    .execution-grid,
    .state-content,
    .information-grid,
    .download-grid,
    .execution-summary dl {
        grid-template-columns: 1fr;
    }

    .action-bar {
        display: grid;
        grid-template-columns: repeat(2, minmax(0, 1fr));
    }

    .action-bar button {
        width: 100%;
    }

    .trace-panel,
    .state-panel,
    .observables-panel,
    .editor-panel {
        padding: 1rem 0;
    }

    .trace-panel,
    .execution-summary {
        display: block;
    }

    .graph-container,
    #state-graph,
    #state-graph svg {
        min-height: 20rem;
    }

    .state-controls {
        align-items: stretch;
        flex-direction: column;
    }

    .download-naf-button {
        align-self: flex-start;
    }

    .documentation-part {
        padding-bottom: 3rem;
    }

    .documentation-part+.documentation-part {
        padding-top: 3rem;
    }

    .documentation-part .section-heading {
        margin-bottom: 1.5rem;
    }

    .documentation-content>section+section {
        margin-top: 2.5rem;
        padding-top: 2.5rem;
    }

    .documentation-code {
        font-size: 0.78rem;
    }

    #workbench-guide .documentation-table td:first-child {
        width: 9rem;
        white-space: normal;
    }

    .documentation-table th,
    .documentation-table td {
        padding: 0.65rem 0.7rem;
    }

    .language-constructs-table colgroup,
    .language-constructs-table thead,
    .operational-table colgroup,
    .operational-table thead {
        display: none;
    }

    .language-constructs-table,
    .language-constructs-table tbody,
    .language-constructs-table tr,
    .language-constructs-table td,
    .operational-table,
    .operational-table tbody,
    .operational-table tr,
    .operational-table td {
        display: block;
        width: 100%;
    }

    .language-constructs-table tr,
    .operational-table tr {
        padding: 0.75rem;
        border-top: var(--line) solid var(--background);
    }

    .language-constructs-table td,
    .operational-table td {
        padding: 0;
    }

    .language-constructs-table td:first-child,
    .operational-table td:first-child {
        width: auto;
        white-space: normal;
    }

    .language-constructs-table td:first-child,
    .operational-table tr.rule-group-start>td:first-child {
        color: var(--text-muted);
        font-weight: 600;
    }

    .language-constructs-table td+td,
    .operational-table td+td {
        margin-top: 0.3rem;
    }

    .operational-table tr.rule-group-start {
        margin-top: 0.8rem;
        border-top-color: var(--text-muted);
    }

    .operational-table tbody tr.rule-group-start:first-child {
        margin-top: 0;
    }

    .documentation-table th,
    .documentation-table td,
    .documentation-table code {
        white-space: normal;
        overflow-wrap: anywhere;
    }

    .grammar-output {
        padding: 0.8rem;
        font-size: 0.76rem;
    }

    .grammar-term {
        white-space: normal;
    }

    .resources-part {
        padding-bottom: 3rem;
    }

    .resources-part+.resources-part {
        padding-top: 3rem;
    }

    .resources-part .section-heading {
        margin-bottom: 1.5rem;
    }

    .resources-content>section+section {
        margin-top: 2.5rem;
        padding-top: 2.5rem;
    }

    .resource-download {
        padding: 1rem;
    }

    .command-table {
        table-layout: auto;
    }

    .command-table th:first-child,
    .command-table td:first-child {
        width: auto;
    }

}