/* --- Quick KatScript page styling --- */

/* --- Container and General Layout --- */

.quick-kat-section {
    padding-bottom: 20px;
}

.quick-kat {
    margin: 0 0 -3px 0;
    padding: 0;
    border-width: 3px 0 3px 0;
    border-style: solid;
    border-color: var(--code-border-color);
    justify-content: center;
}

/* --- Search and Input Box --- */
.quick-kat-input-box {
    display: flex;
    justify-content: flex-end;
    margin-bottom: -2.1em;
}

.quick-kat-input-box input {
    width: 30%;
    padding: 0.8em;
    border-radius: 1px;
    border: 1px solid var(--table-row-odd-background-color);
    background-color: var(--navbar-current-background-color-hover);
    color: var(--body-color);
}

.quick-kat-input-box .close-all-button {
    width: 30%;
    font-size: 0.8em;
    margin-right: 12px;
    padding: 0.2em 1em;
    background-color: var(--table-row-odd-background-color);
    color: var(--body-color);
    border-radius: 5px;
}

/* --- Headers --- */
.quick-kat-header {
    margin: 0;
    padding: 0;
    border-width: 3px 0 3px 0;
    border-style: solid;
    border-color: #e1e4e5;
}

.quick-kat-header .left-side,
.quick-kat-header .right-side {
    font-size: 13pt;
    font-weight: bold;
}

/* --- Rows and Layout --- */
.quick-kat .the-row,
.quick-kat-header .the-row {
    display: flex;
    align-items: center;
    flex-wrap: wrap;
    padding: 0;
    margin: 0;
}

.quick-kat .the-row {
    background-color: var(--table-row-odd-background-color);
}

.quick-kat .the-row:hover,
.quick-kat .the-row:hover .highlight {
    background-color: var(--navbar-current-background-color-hover);
    cursor: pointer;
}

.quick-kat .left-side,
.quick-kat-header .left-side {
    width: 25%;
    margin: 0;
    padding: 1pt;
}

.quick-kat .left-side {
    font-size: 10pt;
}

.quick-kat .right-side,
.quick-kat-header .right-side {
    width: 74%;
    margin: 0;
}

.quick-kat .the-row p {
    margin: 2px 5px 2px 10px;
}

.quick-kat .the-row div {
    margin: 0;
}

/* --- Code and Highlighting --- */
.quick-kat .right-side div.highlight {
    background-color: var(--table-row-odd-background-color);
    font-size: 12pt;
}

.quick-kat .right-side div.highlight-text {
    border: 0;
    margin: 1px;
    padding: 0;
    overflow-y: unset;
}

.quick-kat .right-side div.highlight pre {
    padding: 7px 8px 7px 12px;
}

.quick-kat button.copybtn {
    top: 3px;
}

.quick-kat .the-row button.copybtn {
    right: 0;
    width: 1.5em;
    height: 1.5em;
}

.quick-kat .the-row button.copybtn svg {
    width: 1.5em;
    height: 1.5em;
    padding: 0;
}

.is-open {
    outline: 1px solid var(--navbar-level-2-color);
    outline-offset: -2px;
}

/* --- Expanded Content (.the-more) --- */
.quick-kat .the-more {
    display: none;
    background-color: var(--content-background-color);
    padding: 5px 15px;
    width: 100%;
}

.quick-kat .the-more .summary {
    margin-top: 10px;
}

.quick-kat .the-more p.summary {
    font-size: 1.15em !important;
    line-height: 1.40em !important;
    margin-top: 1em;
}

.quick-kat .the-more p.rubric {
    font-size: 0.95em !important;
    color: var(--highlight-keyword-color);
    margin-top: 0;
    margin-bottom: 0.5em !important;
}

/* --- Tables and Aliases in Expanded Content --- */
.quick-kat .the-more table {
    width: 100%;
}

.quick-kat .arguments-table td:nth-child(1) {
    font-family: monospace;
    font-size: 0.85em !important;
    width: 20%;
}

.quick-kat .arguments-table td:nth-child(2) {
    font-family: monospace;
    font-size: 0.75em !important;
    width: 15%;
}

.quick-kat .the-more .aliases {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
}

.quick-kat .the-more .aliases p {
    margin: 0 10px 10px 0;
}

/* --- Not found message --- */

.quick-kat-not-found {
    display: flex;
    justify-content: center;
    margin-bottom: 1em;
}
.quick-kat-not-found p {
    display: none;
    font-weight: bold;
    font-size: 1.2em;
    color: var(--highlight-keyword-color);
    margin-top: 4em;
}
