html *{ font-family: Dejavu Sans Mono, MesloGS NF, Menlo, Consolas, Monospace !important; color: #222;}
body { padding: 0 10px; text-decoration: none; color: #263238;}
h1 { font-size: 28px; } 
h2 { font-size: 22px;  margin-bottom: 2px; }
h3 { font-size: 14px; } 
p  { font-size: 16px; }
blockquote { text-align: center; font-size: 16px; font-style: normal; line-height: 30px;}

pre { background-color: #263238;color: #eeffff;border: 1px solid #ddd; font-size: 14px; padding-left: 2ch;padding-top:1ch; padding-bottom: 1ch; line-height: 18px; overflow: auto; }
code { background-color: #263238;color: #eeffff; }
hr { height: 0px; }
a {color: inherit; text-decoration: solid underline;}  
a:hover {color: red;}
img { max-width: 100%; }
details { background-color: #eee; }
details > summary{ background-color: #eee; font-size: 18px;}

details > summary:hover { background-color: #263238; color: #eee;}
details summary::-webkit-details-marker,
details summary::marker { content: "\20\00BB\20";}
ul { padding-left:0em; padding: 0px 8px;}
ul:active {}
.toctitle{ padding: 1em; }
.toc > ul li { text-decoration: none; }

.details-sidebar{}
.menu { line-height: 1em; font-size: 24px; line-height: 1em; text-decoration: none; }
.index { color: inherit; text-decoration: solid underline; }
.references { text-decoration: solid underline; text-underline-position: under; }
.contact{text-align: center;}

.columns { Width: 100%; border-top: 1px solid #263238; border-bottom: 1px solid #263238; }
.column-1, .column-2, .column-3{
    width: 100%;
}
@media (min-width: 48em) {
    .column-1 {
        width: 18%;
        height: 100%;
        float: left;
        overflow: auto;
        margin-top: 8px;
        margin-right: 8px;
    }
    .column-1 > ul li {
        list-style-type: none;
        text-align: left;
        padding: 0;
        margin: 0;
        outline: 0;
        border: none;
        display: block;
        white-space: normal;
    }
    .column-1 ul {
        padding-left: 16px;
        padding-right: 0;
    }
    .column-1 a:hover{
        background-color: #263238; color: #eee;
    }
    
    .column-2 {
        width: 80%;
        float: left;
        overflow: auto;
        clear: none;
        padding-left: 16px;
    }

    .column-3 {
        width: 25%;
        position: relative;
        float: right;
        overflow: auto;
        margin: 24.25px 16px;
        clear: none;
        background-color: #eee;
    }
    .column-3 > ul li { 
        outline 0;
        border: none;
        display: block;
        padding: 0.2em 0.4em;
        white-space: normal;
        list-style-type: none;
    }
    .column-3 ul li:before {
        content: "\00BB\20";
    }
    .column-3 a {
        text-decoration: none;
    }

    .columns {
        content: "";
        display: table;
        clear: both;
    }
}

.search-container{
    position: relative;
}
.search-container input {
    display: inline-block;
    align: center;
    margin-top: 8px;
    margin-bottom: 16px;
    width: 30%;
    height: 42px;
    background-color: #eee;
    border: 1px solid #263238;
    font-weight: 20px;
    color: #263238;
    cursor: pointer;
}
.search-container input:focus {
    border: 2px solid #263238;
    outline: 0 none;
}