body, html {
    margin: 0px;
    font-family: 'Roboto', sans-serif;
}

a {
    text-decoration: none;
}

.navigation-header-full {
    background-color: #f6f6f6;
    border-bottom: 1px #d9d9d9 solid;
    padding: 8px;
    overflow: hidden;
    position: fixed;
    top: 0;
    width: 100%;
    box-shadow: 0 1px 7px -1px rgba(177, 140, 140, 0.25);
    z-index: 99999;
}

.navigation-header-link {
    display: inline-block;
    vertical-align: middle;
    padding-top: 5px;
}

.navigation-header-link.left {
    padding-right: 30px;
}

.navigation-header-link.right {
    padding-left: 30px;
}

.navigation-header-link a {
    color: #8b8b8b;
    font-size: 14px;
    font-weight: bold
}

.navigation-header-link a:hover {
    color: #666666;
    font-size: 14px;
}

.navigation-header-link a.selected {
    color: #464646;
    font-size: 14px;
    font-weight: bold
}

.centered-full {
    width: 1000px;
    margin-left: auto;
    margin-right: auto;
}

.main-body {
    margin-top: 80px;
}

.button {
    display: inline-block;
    background-color: #333333;
    color: #ffffff;
    padding: 10px 26px;
    font-size: 14px;
    border-radius: 3px;
    font-weight: bold;
    box-shadow: 0 3px 7px -1px rgba(0,0,0,0.65);
    cursor: pointer;
}

.button a {
    color: #ffffff;
}

.button:hover {
    background-color: #464646;
}

h2 {
    color: #5377ac;
}

h3 {
    margin-bottom: 0px;
    color: #5377ac;
}

h4 {
    color: #5377ac;
}

p {
    color: #464646;
    font-size: 15px;
}

a {
    color: #5377ac;
    text-decoration: none;
}

ul {
    margin-top: 5px;
    padding-left: 24px;
    color: #464646
}

li {
    font-size: 14px;
    line-height: 1.6;
    white-space: nowrap;
}

code {
    background-color: #1b1f230d;
    border-radius: 3px;
    font-family: 'Roboto', sans-serif;
    font-size: 13.5px;
    padding: 2px;
    font-family: monospace;
}

.simple-code code {
    background-color: #f6f6f6;
    border: 1px #d9d9d9 solid;
    padding: 12px 12px;
    box-shadow: 0 1px 7px -1px rgba(177, 140, 140, 0.25);
    border-radius: 3px;
    color: #424242;
    margin-top: 20px;
    margin-bottom: 20px;
    font-family: monospace;
    font-size: 13px;
}