pre {
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
    line-height: 23px;
}

iframe {
    height: 100%;
    border: none;
}

body {
    margin: 0;
}

summary {
    cursor: pointer;
    list-style: none;
    font-family: 'Open Sans';
}

summary:hover {
    color: #1A4DCC;
}

summary::-webkit-details-marker {
  display: none;
}

summary.directory {
    font-weight: 600;
}

summary.crate {
    font-weight: bold;
}

details.directory {
    margin-bottom: 2px;
}

details.crate {
    margin-bottom: 4px;
}

a {
    text-decoration: none;
    color: black;
}

a:link, a:visited {
    color: black;
}

a:hover, a:focus, a:active {
    color: #1A4DCC;
}

a.function:hover, a.method:hover, a.field:hover, a.binding:hover, a.type:hover, a.builtin:hover {
    text-decoration: underline;
}

.file {
    display: inline-block;
    margin-bottom: 2px;
    font-family: 'Open Sans';
}

.keyword {
    color: #0033B3;
}

.attribute {
    color: #595959;
}

.string {
    color: #067D17;
}

.number {
    color: #1750EB;
}

.linenumber {
    color: #808080;
}

.separator {
    color: #595959;

}

a.field, .field {
    color: #871094;
}

a.binding, .binding {
    color: #000000;
}

a.method, .method {
    color: #00627A;
}

a.function, .function {
    color: #00627A;
    font-style: italic;
}

a.type, .type {
    color: #000000;
}

a.builtin, .builtin {
    color: #0033B3;
}

.sidebar {
    margin: 0;
    width: 290px;
    background-color: #F1F1F1;
    position: fixed;
    height: 100%;
    overflow: auto;
    overflow-y: hidden;
}

.content {
    margin-left: 290px;
    position: fixed;
    height: 100%;
    width: 100%;
}

.iframe-parent {
    display: flex;
    width: 100%;
    height: 100%;
    flex-direction: column;
    overflow: hidden;
}

.iframe {
    flex-grow: 1;
}

.highlighted.field, .highlighted.binding {
    background: #FCE8F4;
}

.highlighted.function, .highlighted.method, .highlighted.type, .highlighted.builtin {
    background: #EDEBFC;
}

.selected.field, .selected.binding {
    color: black;
    background: #FFCDFF;
}

.selected.function, .selected.method, .selected.type, .selected.builtin {
    color: black;
    background: #CBCCFF;
}

.selectable {
    padding: 4px 0px;
    cursor: pointer;
}