/* Monochromatic Dark Mode Styles with Visible Table Lines */
pre .comment {
    color: #bbbbbb;
}
/* Light gray */
pre .constant {
    color: #cccccc;
}
/* Slightly lighter gray */
pre .escape {
    color: #888888;
}
/* Medium gray */
pre .keyword {
    color: #ffffff;
    font-weight: bold;
}
/* White */
pre .library {
    color: #aaaaaa;
}
/* Light-medium gray */
pre .marker {
    color: #dddddd;
    background: #444444;
    font-weight: bold;
}
/* Light gray on dark gray */
pre .string {
    color: #eeeeee;
}
/* Lighter gray */
pre .number {
    color: #bbbbbb;
}
/* Light gray */
pre .operator {
    color: #ffffff;
    font-weight: bold;
}
/* White */
pre .preprocessor, pre .prepro {
    color: #aaaaaa;
}
/* Light-medium gray */
pre .global {
    color: #cccccc;
}
/* Light gray */
pre .user-keyword {
    color: #cccccc;
}
/* Light gray */
pre .prompt {
    color: #bbbbbb;
}
/* Light gray */
pre .url {
    color: #dddddd;
    text-decoration: underline;
}
/* Light gray */

body {
    margin-left: 1em;
    margin-right: 1em;
    font-family: Arial, Helvetica, Geneva, sans-serif;
    background-color: #222222; /* Very dark gray */
    color: #dddddd; /* Light gray */
    margin: 0px;
}

code, tt {
    font-family: monospace;
    font-size: 1.1em;
    color: #eeeeee;
}
/* Lighter gray */
span.parameter {
    font-family: monospace;
}

    span.parameter:after {
        content: ":";
    }

span.types:before {
    content: "(";
}

span.types:after {
    content: ")";
}

.type {
    font-weight: bold;
    font-style: italic;
}

body, td, th {
    font-size: .95em;
    line-height: 1.2em;
    color: #dddddd;
}
/* Light gray */
p {
    line-height: 1.2em;
}

ul {
    margin: 10px 0 0 0px;
    color: #dddddd;
}
/* Light gray */

p {
    margin: 3px 0px 0px 0px;
}

strong {
    font-weight: bold;
}

here {
    font-weight: bold;
    color: #eeeeee;
}
/* Lighter gray */

em {
    font-style: italic;
}

h1 {
    font-size: 1.5em;
    margin: 20px 0 20px 0;
    color: #ffffff; /* White */
}

h2, h3, h4 {
    margin: 15px 0 10px 0;
    color: #dddddd;
}
/* Light gray */
h2 {
    font-size: 1.25em;
}

h3 {
    font-size: 1.15em;
}

h4 {
    font-size: 1.06em;
}

a:link {
    font-weight: bold;
    color: #ffffff;
    text-decoration: none;
}
/* White */
a:visited {
    font-weight: bold;
    color: #cccccc;
    text-decoration: none;
}
/* Light gray */
a:link:hover {
    text-decoration: underline;
}

hr {
    color: #eeeeee; /* Off-white */
    background: #eeeeee; /* Off-white */
    height: 1px;
}

blockquote {
    margin-left: 3em;
    color: #dddddd;
}
/* Light gray */

ul {
    list-style-type: disc;
}

    ul li:not(:last-child) {
        margin-bottom: 0.3em;
    }

p.name {
    font-family: "Andale Mono", monospace;
    padding-top: 1em;
    color: #eeeeee; /* Lighter gray */
}

pre {
    background-color: #333333; /* Dark gray */
    border: 1px solid #eeeeee; /* Off-white border */
    padding: 10px;
    margin: 10px 0 10px 0;
    overflow: auto;
    font-family: "Andale Mono", monospace;
    color: #dddddd; /* Light gray */
}

    pre.example {
        font-size: .85em;
    }

/* Table styling with visible border lines */
table.index {
    border: 1px solid #eeeeee; /* Off-white */
    border-collapse: collapse; /* Ensures borders don't overlap */
}

    table.index td {
        border: 1px solid #eeeeee; /* Off-white */
        text-align: left;
        vertical-align: top;
        color: #dddddd; /* Light gray */
    }

table.module_list, table.function_list {
    border-width: 1px;
    border-style: solid;
    border-color: #eeeeee; /* Off-white */
    border-collapse: collapse;
    color: #dddddd; /* Light gray */
}

    table.module_list td, table.function_list td {
        border-width: 1px;
        border-style: solid;
        border-color: #eeeeee; /* Off-white */
        padding: 3px;
    }

        table.module_list td.name, table.function_list td.name {
            background-color: #333333; /* Dark gray */
            min-width: 250px;
        }

        table.module_list td.summary, table.function_list td.summary {
            width: 100%;
        }

#container {
    margin-left: 1em;
    margin-right: 1em;
    background-color: #222222; /* Very dark gray */
}

#product {
    text-align: center;
    border-bottom: 1px solid #eeeeee; /* Off-white */
    background-color: #222222; /* Very dark gray */
    color: #dddddd; /* Light gray */
}

    #product big {
        font-size: 2em;
        color: #ffffff; /* White */
    }

#main {
    background-color: #222222; /* Very dark gray */
    border-left: 2px solid #eeeeee; /* Off-white */
    display: flex;
    color: #dddddd; /* Light gray */
}

#navigation {
    width: 18em;
    vertical-align: top;
    background-color: #333333; /* Dark gray */
    overflow: visible;
    color: #dddddd; /* Light gray */
}

    #navigation h2 {
        background-color: #444444; /* Dark gray */
        font-size: 1.1em;
        color: #dddddd; /* Light gray */
        text-align: left;
        padding: 0.2em;
        border-top: 1px solid #eeeeee; /* Off-white border */
        border-bottom: 1px solid #eeeeee; /* Off-white border */
    }

    /* Navigation styles */
    #navigation ul {
        font-size: 1em;
        list-style-type: none;
        margin: 1px 1px 10px 1px;
    }

    #navigation li {
        text-indent: -1em;
        display: block;
        margin: 3px 0px 0px 22px;
    }

#content {
    padding: 2em;
    width: 900px;
    border-left: 2px solid #eeeeee; /* Off-white */
    border-right: 2px solid #eeeeee; /* Off-white */
    background-color: #222222; /* Very dark gray */
    color: #dddddd; /* Light gray */
}