pre.prettyprint,
code.prettyprint {
    background-color: rgb(231, 229, 229) !important;
    color: rgb(138, 6, 6) !important;
}

pre .pln,
code .pln {
    color: rgb(12, 11, 11);
}

pre .typ,
code .typ {
    color: rgb(12, 11, 11);
}

pre .lit,
code .lit {
    color: rgb(12, 11, 11);
}

.sidenav>li.nav-header>a {
    padding: 5px 5px;
    border: 1px solid #e5e5e5;
    color: black;
    width: 190px;
    font-family: "Source Sans Pro", sans-serif;
    font-weight: 700;
    font-size: 12px !important;
    background-color: #e5e5e5;
}

a {
    color: rgb(12, 11, 11);
    text-decoration: none;
}

pre .pun,
code .pun {
    color: rgb(12, 11, 11);
}

pre .str,
code .str {
    color: rgb(241, 98, 105);
}


/*siden*/

.sidenav>li>a {
    display: block;
    width: 192px;
    margin: 0;
    padding: 2px 11px;
    border: 0;
    border-left: transparent 4px solid;
    border-right: transparent 4px solid;
    font-family: "Source Sans Pro", sans-serif;
    font-weight: 400;
    font-size: 14px;
}

.nav>li>a {
    position: relative;
    display: block;
    padding: 2px 4px;
}

.sidenav>li.active>a {
    position: relative;
    z-index: 2;
    background-color: #0088cc;
    color: white
}

a:focus,
a:hover {
    color: #23527c;
    text-decoration: underline;
}

img {
    vertical-align: middle;
}

.sidenav {
    width: 228px;
    margin: 0;
    padding: 32px 20px 20px 20px;
    position: fixed;
    top: 50px;
    left: 0;
    bottom: 0;
    overflow-x: hidden;
    overflow-y: auto;
    background-color: #f5f5f5;
    z-index: 10;
}

.sidenav li {
    margin: 2px 0;
}

.sidenav-search {
    width: 228px;
    left: 0px;
    position: fixed;
    padding: 22px 25px 18px 35px;
    background-color: #F5F5F5;
    z-index: 11;
}

.nav-tabs li a {
    padding: 5px 24px;
}

.sidenav-search>img.logo {
    margin: 0!important;
    height: 40px;
}