body, form {
    margin: 0px;
}

body, input {
    font-family: Trebuchet MS,Lucida Grande,Lucida Sans Unicode,Lucida Sans,Tahoma,sans-serif;
}

input:focus {
    outline: none;
}

section, p {
    text-align: justify;
}

a {
    text-decoration: none;
    color: #000000;
}

a:visited {
    color: #000000;
}

a:hover {
    text-decoration: none;
}

code {
    font-family: Menlo, Courier, monospace;
    font-weight: bold;
}

#sidenav {
    height: 100%;
    position: fixed;
    z-index: 1;
    top: 0;
    left: 0;
    background-color: #EF5350;
    transition: 0.3s;
    padding: 0px;
    margin: 0px;
    color: #ffffff;
    display: flex;
    flex-direction: column;
    overflow-y: auto;
}

#sidenav.nav {
    width: 300px;
    visibility: visible;
}

#sidenav.no-nav {
    width: 0px;
    z-index: 0;
    visibility: hidden;
}

#sidenav-title {
    margin: 21px 0 10px 0px;
}

#sidenav-title {
    padding-left: 45px;
}

#sidenav ul {
    padding-left: 25px;

}

#sidenav ul li {
    list-style-type: none;
}

#sidenav ul li div {
    border-left: 3px solid transparent;
    line-height: 27px;
    padding-left: 17px;
    transition: border 0.5s;
}

#sidenav a {
    font-size: 1.0em;
    color: #f1f1f1;
    transition: 0.3s;
}

#sidenav h2 {
    margin: 0px 0px 15px 45px;
    font-size: 1.2em;
}

#sidenav h3 {
    margin: 20px;
    font-size: 1.1em;
}

#sidenav > ul > li:hover > div, #sidenav > ul > li.selected > div {
    text-shadow: 0 0 3px #fff;
    color: #fff;
    border-left: 3px solid white;
    transition: border 1s;
}

#sidenav ul li.selected ul {
    padding-left: 10px;
    margin: 5px 0px 10px 0px;
}

#sidenav ul li.selected ul li {
    padding-left: 10px;
}

#sidenav form {
    padding: 13px 15px;
    padding-bottom: 0px;
}

#sidenav-title h1 {
    font-size: 1.5em;
    margin: 5px 0px;
}

#sidenav-title h2 {
    font-size: 1em;
    margin: 5px 0px;
}

#sidenav-links {
    margin: 0px;
    margin-bottom: 10px;
}

#sidenav-modules {
    margin: 0px;
    overflow-x: hidden;
    overflow-y: scroll;
    flex: 1 1 0.0%;
    padding-bottom: 50px;
}

#sidenav-modules a {
    padding: 0px;
}

#sidenav-modules ul li ul li div {
    border-left: 1px solid #FFF;
    line-height: 20px;
    margin-left: 5px;
}

#search a {
    color: #333333;
    transition: none;
}

#search a:hover {
    color: #333333;
    text-shadow: none;
}

#search .autocomplete {
    /*the container must be positioned relative:*/
    position: relative;
    display: inline-block;
    -webkit-box-sizing: border-box;
    -moz-box-sizing: border-box;
    box-sizing: border-box;
    width: 100%;
}

#search-query {
    height: 30px;
    border: none;
    border-radius: 3px;
    padding: 0px 30px 0px 10px;
    font-size: 1em;
    width: 100%;
}

#search .autocomplete-items {
    position: absolute;
    border-top: 1px solid #d4d4d4;
    z-index: 99;
    /*position the autocomplete items to be the same width as the container:*/
    top: 28px;
    left: 0;
    right: 0;
    overflow: auto;
}

#search .autocomplete-items div {
    padding: 10px;
    cursor: pointer;
    background-color: #eee;
}

#search .autocomplete-items div span {
    display: block;
    color: #777;
}

#search .autocomplete-items div strong {
    color: #C33F35;
}

#search .autocomplete-items div:hover,
#search div.autocomplete-active {
    border-left: 5px solid #666;
    background-color: #ccc;
}

#search .autocomplete-items div.no-results {
    color: #333;
}

#toggle-nav-button {
    position: fixed;
    font-size: 20px;
    line-height: 20px;
    cursor: pointer;
    color: #333;
    z-index: 99;
}

#toggle-nav-button.nav {
    left: 260px;
    top: 18px;
    transition: 0.3s;
}

#toggle-nav-button.no-nav {
    left: 10px;
    top: 10px;
    transition: left 0.3s, top 0.2s 0.3s;
}

#main {
    height: 100%;
    transition: margin-left .5s;
    padding: 0px;
    margin: 0px;
}

#main.nav {
    margin-left: 300px;
}

#main.no-nav {
    margin-left: 0px;
}

#content {
    max-width: 829px;
    margin: 0 auto;
    padding: 3px 60px;
    padding-bottom: 60px;
}

#content p a {
    color: #C33F35;
    font-weight: bold;
    text-decoration: none;
}

#content p a:visited {
    color: #ce9393;
}

#content p a:hover {
    text-decoration: underline;
}


#content h1 {
    font-size: 2.0em;
    margin: 40px 0px 20px 0px;
}

#summary-section ul {
    padding: 0px;
}

#summary-section ul li {
    list-style-type: none;
    margin: 10px 0px;
}

#summary-section .synopsis {
    color: #666;
    margin-top: 10px;
    padding-left: 20px;
    font-style: italic;
}

.signature, .definition {
    margin: 5px 0px 0px 0px;
    font-family: Menlo, Courier, monospace;
}

.signature {
    font-size: 0.9rem;
    font-weight: bold;
}

.definition {
    font-size: 0.8rem;
    color: #666;
}

#functions-section h2, #types-section h2 {
    background: #EEE;
    padding: 10px;
    border-left: #EF5350 3px solid;
}