* {
    font-family: 'Open Sans', sans-serif;
}

body {
    min-width: 1380px;
    text-align: center;
}

header {
    background-color: rgb(177, 201, 255);
    padding: 10px;
    border-bottom: 2px solid #ccc;
    font-weight: 700;
    font-size: 1.5em;
}

#main-doc {
    width: 1380px;
    margin: 0 auto;
    text-align: left;
}

.navbar {
    position: fixed;
    top: 10px;
    left: 5px;
    height: 100%;
    border-right: 2px solid #ccc;
    z-index: 999;
    background-color: rgb(177, 201, 255);

}

.navbar h1 {
    font-size: 1.5em;
    margin: 0;
    padding: 10px;
    border-bottom: 2px solid #ccc;
}

.navbar li {
    margin: 0 10px;
    font-size: 1.2em;
    padding: 8px;
    border-bottom: 1px solid
}

.navbar a {
    text-decoration: none;
    color: rgb(97, 97, 97);
}

.navbar li:hover {
    background-color: rgb(177, 241, 255);
}

ol {
    list-style-position: inside;
    margin: 0;
    padding: 0;
    list-style-type: none;
    /* move down a bit*/
    margin-top: 10px;
}

.main-doc {
    padding: 10px;
    padding-left: 5%;
}

section a {
    background-color: rgb(218, 250, 240);
    color: #000;
    text-decoration: underline;
    text-decoration-color: rgba(255, 244, 244, 0.4);
}

section a:hover {
    background-color: rgb(177, 241, 255);
    text-decoration: underline;
    text-decoration-color: rgba(0, 0, 0, 0.4);
}

.tip {
    background-color: lightgoldenrodyellow;
    color: #000;
    padding: 10px;
    border-radius: 5px;
    border-left: 10px solid yellow;
}

code {
    /* https://stackoverflow.com/questions/4000792/how-can-i-style-code-listings-using-css */
    background: #f4f4f4;
    border: 1px solid #ddd;
    border-left: 3px solid #3376f3;
    color: #666;
    page-break-inside: avoid;
    font-family: monospace;
    font-size: 15px;
    line-height: 1.6;
    margin-bottom: 1.6em;
    max-width: 100%;
    overflow: auto;
    padding: 1em 1.5em;
    display: block;
    word-wrap: break-word;

    font: "monospace";
}

.yellow {
    background-color: rgb(255, 255, 190);
    display: inline-block;
}

section li {
    margin: 0 10px;
    padding: 5px;
}

@media only screen and (max-width: 1380px) {
    #main-doc {
        width: 100%;
    }
}