#main .hidden { display: none; }

#main a:visited {
    color: var(--accent);
}

#main ul {
    list-style: none;
}

#main li a {
    border: 2px solid var(--border);
    display: inline-block;
    border-radius: 6px;
    padding: 0.1em 0.2em; 
}

#main h2 {
    margin-top: 0.8em;
    margin-bottom: 0.2em;
}

#navWrap {
    align-self: stretch;
}

#search {
    max-width: 100%;
    margin-bottom: 1em;
}

#listNav li { display: inline; margin: 0; }
#listNav li a { padding: 0.3em 0.6em; }

#listNav li + li::before {
    content: ' ➜ ';
    color: var(--border);
}

#sectNav li a:visited {
    color: var(--accent); 
}

#sectNav li a.active {
    border: 2px solid var(--accent);
    background: var(--accent);
    color: var(--background);
}

#hdrName {
    font-size: 1.4rem;
    display: flex;
    flex-flow: row wrap;
    gap: 0.3em;
    color: var(--secondary);
    border-bottom: 2px solid var(--border);

    margin-top: 0.2em;
    margin-bottom: 0.4em;
}

#sectFields {
    gap: 0.5em;
    margin-bottom: 1em;
}

#listFields {
    flex-direction: column;
    gap: 0.6em;
}

#sectTypes ul li a {
    padding: 0.1em 0.2em; 
}

#listTypes,
#listNamespaces,
#listErrSets {
    display: flex;
    flex-flow: row wrap;
    gap: 0.4em;
}

#listTypes li,
#listNamespaces li,
#listErrSets li {
    margin: 0;
}

#listValues {
    flex-grow: 1;
}

#sectValues {
}

#listValues tr {
}

#listValues tr td {
    min-width: 5em;
    max-width: 33%;
    padding: 0.5em;
    text-overflow: ellipsis;
    overflow-x: hidden;
}

ul#listSearchResults {
    flex-direction: column;
}

.source-code {
    display: flex;
    flex-flow: rows nowrap;
}

.source-text { width: 100%; }
.source-line-numbers { min-width: fit-content; }

.tok-kw {
    color: var(--c-orange);
    font-weight: bold;
}
.tok-str { color: var(--c-green); }
.tok-builtin { color: var(--c-magenta); }
.tok-comment {
    color: var(--c-grey);
    font-style: italic;
}
.tok-fn {
    color: var(--c-blue);
    font-weight: bold;
}
.tok-null { color: var(--c-magenta); }
.tok-number { color: var(--c-orange); }
.tok-type {
    color: var(--c-purple);
    font-weight: bold;
}