html {
    overflow-x: hidden !important;
    overflow-y: scroll;
}

body {
    font-family: system-ui, -apple-system, Segoe UI, Roboto, Ubuntu, Cantarell, Noto Sans, sans-serif,
        BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji",
        "Segoe UI Symbol" !important;
    font-size: 100%/1.65;
    padding-top: 70px;
}

a {
    color: #5bc0de;
}

.btn-outline-info {
    color: #5bc0de;
    background-color: transparent;
    background-image: none;
    border-color: #5bc0de;
}

.btn-outline-info:hover {
    color: #fff;
    background-color: #5bc0de;
    border-color: #5bc0de;
}

code {
    background-color: transparent;
}

#ExampleViewModelAnnotatedOptionsSmall > li > a {
    font-size: 85% !important;
    padding: 3px !important;
}

.example-view-model {
    overflow: hidden;
}

h1.h2 {
    font-size: 2.75em;
}

h1,
h2,
h3,
h4 {
    margin-bottom: 20px;
}

.highlight-php {
    background-color: #f7f7f9;
    border: 1px solid #e1e1e8;
    border-radius: 4px;
    margin-bottom: 20px;
    margin-top: 20px;
    padding: 10px;
    overflow: hidden;
}

.jumbotron {
    background-color: transparent;
}

.navbar-brand {
    color: #000000 !important;
    font-weight: bold;
}

nav.side-menu {
    border-left: 1px solid #e7e7e7;
    padding-bottom: 2rem;
    padding-left: 2rem;
    padding-top: 2rem;
}

nav.side-menu a.active {
    color: #337ab7;
}

nav.side-menu ul {
    list-style: none;
    margin-left: -20px;
}

.navbar-default {
    box-shadow: 0 1px 2px 0 rgba(0, 0, 0, 0.1);
}

.navbar-collapse.in {
    overflow-y: visible !important;
}

.navbar-fixed-top .navbar-collapse {
    max-height: none !important;
}

p {
    margin-bottom: calc(1.25 * 1rem);
}

p.fixed-height-100 {
    height: auto;
}

.panel-tab {
    border-top: 0 !important;
    border-top-left-radius: 0 !important;
    border-top-right-radius: 0 !important;
}

@media (min-width: 576px) {
    p.fixed-height-100 {
        height: auto;
    }
}

@media (min-width: 768px) {
    p.fixed-height-100 {
        height: 80px;
    }
}

@media (min-width: 992px) {
    p.fixed-height-100 {
        height: 100px;
    }
}

@media (min-width: 1200px) {
    p.fixed-height-100 {
        height: 90px;
    }
}