:root {
    --dark-gray: #1a1a1a;
    --light-gray: #e3e4e5;
    --code-color: #d96a3a;
    --codebg: #f1f1f1;
    --link-color: #0070c9;
}

#body {
    font-family: sans-serif;
    display: flex;
    flex-direction: row;
    margin: 0px;
}

#main-doc {
    position: absolute;
    margin-left:230px;
    margin-right: 30px;
    margin-bottom:110px;
}

header {
    font-size: 30px;
    color: var(--dark-gray);
    padding-top: 30px;
}

.logo {
    width: 80px;
}

.title {
    padding-top: 38px;
    padding-bottom: 22px;
}

.sections {
    padding-top: 0px;
}

p {
    font-size: 16px;
    line-height: 22px;
    color: var(--dark-gray);
}

#navbar {
    position: fixed;
    border-right: solid;
    border-width: thin;
    border-color: var(--light-gray);
    height: 108vh;
}

.nav-link {
    text-align: center;
    color: var(--dark-gray);
    text-decoration: none;

}

.nav-link:hover {
    color: var(--code-color);
    font-weight: 600;   
}

.nobull {
    list-style-type: none;
    padding-left: 0px;
    width: 200px;
}

a {
    color: var(--link-color);
    text-decoration: none;
}

hr {
    height: 1px;
    color: var(--light-gray);
    background-color: var(--light-gray);
    border: none;
    
}

pre code {
    background-color: var(--codebg);
    border-radius: 5px;
    display: block;
    padding-left: 30px;
    line-height: 30px;
    font-size: 16px;
    margin-top: -8px;
    margin-bottom: -25px;
}

.lists {
    font-size: 16px;
    line-height: 22px;
    color: var(--dark-gray);
    padding-left: 15px;
}

.codespan {
    color: var(--code-color);
    background-color: var(--codebg);
    padding-left: 4px;
    padding-right: 4px;
    font-size: 110%;
    font-size: 16px;
    line-height: 22px;
}

@media only screen and (max-width: 815px) {
  #navbar {
    background-color:white;
    position:absolute;
    top:0;
    padding:0;
    margin: 0;
    width:100%;
    max-height:235px;
    border: solid;
    border-width: thin;
    border-color: var(--light-gray);
    z-index:1;
    overflow-y:auto;
    overflow-x:hidden;
  }
    .logo {
    width: 60px;
    }
    
    .nobull {
        width: 100%;
    }
    
    .title {
        padding-top: 22px;
        padding-bottom: 8px
    }
    
  #main-doc{
    position: relative;
    margin-left:30px;
    margin-right: 30px;
    margin-top:230px;
  }
}