<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/*-----------.
| Sub pages  |
`-----------*/

div[node] {
    left: 25%;
    width: 75%;
    height: auto;
    top: 0pt;
    bottom: 0pt;
    position: absolute;
    overflow: hidden;
}

div[node][hidden] {
    display: none;
}

/* Non-iframed main page */
div[node]#index {
    overflow: auto
}

/* Iframed sub pages */
iframe.node {
    width: 100%;
    height: 100%;
    border: none;
    margin: 0px;
    padding: 0px;
}

#sub-pages.blurred {
    opacity: 0.2;
}

.highlight {
    background: lightgrey;
}

/*--------------------------.
| Lateral table of content  |
`--------------------------*/

#slider {
    position: fixed;
    top: 0em;
    right: 25%;
    bottom: 0em;
    left: 0em;
    height: 100%;
    width: 25%;
    overflow: auto;
    border: none;
    margin: 0px;
    padding: 0px;
}

div.toc-sidebar header {
    font-size: xx-large;
}

div.toc-sidebar div {
    padding: 0.25em;
    overflow: auto;
}

div.toc ul[toc-detail] {
    display: none
}

div.toc ul, div toc nav {
    margin: 0px;
    padding: 0px;
}

div.toc ul ul {
    margin-left: 1em;
}

div.toc a[toc-current] {
    font-weight: bold
}

/*-------------.
| Help screen  |
`-------------*/

table#keyboard-shortcuts {
    margin: 20px;
}

table#keyboard-shortcuts td {
    padding: 5px;
}

table#keyboard-shortcuts th {
    text-align: left;
}

/* The Modal (background) hidden by default */
.modal {
    display: none;
    position: fixed;
    z-index: 1;
    padding-top: 100px;
    left: 25%;
    top: 0;
    width: 75%;
    height: 100%;
    overflow: auto;
    background-color: rgb(0,0,0); /* Fallback color */
    background-color: rgba(0,0,0,0.5); /* Black w/ opacity */
}

/* Modal Content */
.modal-content {
    background-color: white;
    margin: auto;
    padding: 20px;
    width: 80%;
}

/*-------.
| Icons  |
`-------*/

/* The Close Button */
.close {
    color: darkgrey;
    float: right;
    font-size: xx-large;
}

#icon-bar {
    float: right;
}

.icon {
    color: darkgrey;
    font-size: x-large;
}

.icon:hover, .icon:focus, .close:hover, .close:focus {
    color: black;
    cursor: pointer;
}

/*--------.
| popups  |
`--------*/

.text-input, .echo-area, .error {
    background: lightgrey;
    z-index: 10;
    position: fixed;
    right: 0;
}

.error .text-input {
    top: 0;
    right: 0;
}

.error {
    background-color: orange;
    padding: 5px;
}

.echo-area {
    bottom: 0;
}
</pre></body></html>