:root {
    --main-bg-color: #06c;
    --highlight-bg-color: #ffd166;
}

body,
html {
    width: 100%;
    margin: 0px;
}

div,
section,
article,
header {
    box-sizing: border-box;
}

body {
    position: relative;
    height: 100%;
    font-family: Roboto, Arial, sans-serif;
    line-height: 1.5;
}

.shadow {
    box-shadow: 0 2px 8px #0000008c;
}

#main-header {
    background: #fefefe;
    position: sticky;
    top: 0;
    right: 0;
    left: 0;
    z-index: 1000;
    height: 3rem;
    display: flex;
    align-items: center;
    padding: 0.5rem 1rem;
    flex-flow: row nowrap;
    justify-content: flex-start;
}

#main-footer {
    background: #fefefe;
    text-align: center;
    color: #666;
    font-size: 0.8rem;
    padding-top: 0.4rem;
    padding-bottom: 0.2rem;
}

.top-bar {
    max-width: 720px;
    flex-wrap: nowrap;
    display: flex;
    align-items: center;
    justify-content: space-between;
}

.container {
    width: 100%;
    margin-right: auto;
    margin-left: auto;
}

.content {
    max-width: 720px;
    margin-left: auto;
    margin-right: auto;
    padding-left: 2ch;
    padding-right: 2ch;
}

#site-name {
    color: rgba(0, 0, 0, 0.9);
    letter-spacing: 1px;
    display: inline-block;
    padding-top: 0.3125rem;
    padding-bottom: 0.3125rem;
    margin-right: 1rem;
    font-size: 1.25rem;
    line-height: inherit;
    white-space: nowrap;
}

nav {
    display: flex;
    flex-basis: auto;
}

.mobile-nav {
    display: none;
    cursor: pointer;
}

nav ul {
    display: flex;
    flex-direction: row;
    list-style: none;
    text-align: center;
}

.nav-link {
    display: block;
    padding: 0.5rem 1rem;
    color: rgba(0, 0, 0, 0.67);
}

a {
    text-decoration: none;
}

.rounded-circle {
    border-radius: 50%;
}

.contact-image {
    height: 40px;
    width: 40px;
    margin: 0 5px;
}

.main {
    background-color: #fbfbfb;
    min-height: calc(100vh - 50px - 1.7rem - 4px);
    padding-bottom: 1px;
}

.main a,
.main a:visited {
    color: #007bff;
}

.main a:active {
    color: #df0000;
}

h1,
h2,
h3,
h4,
h5,
h6 {
    text-align: center;
    padding-top: 0.8em;
    margin: 0;
}

* {
    scroll-margin-top: 70px;
}

a.collapse-link:after {
    content: " ▼";
    font-size: 0.5em;
}

a.collapse-link {
    color: #118600;
}

.collapse {
    display: none;
    padding-bottom: 1em;
}

table {
    border-collapse: collapse;
}

table tr td {
    padding-right: 5px;
}
.collapsed-table {
    margin: auto;
}
.collapsed-table td,
.collapsed-table th {
    padding: 1px 3ch;
}
.collapsed-table th {
    text-align: center;
}
.content pre {
    margin: 0;
    padding-top: 1rem;
    padding-bottom: 1rem;
}
.content p {
    margin: 0.5rem 0;
}

.burger {
    display: inline-block;
    cursor: pointer;
}

.burger-bar {
    width: 35px;
    height: 5px;
    background-color: rgb(165, 165, 165);
    margin: 6px 0;
    transition: 0.4s;
}

code {
    color: #d73e48;
    background: #fcf2f2;
}

pre code {
    color: unset;
    background: unset;
}

pre {
    white-space: pre-wrap; /* css-3 */
    white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
    white-space: -pre-wrap; /* Opera 4-6 */
    white-space: -o-pre-wrap; /* Opera 7 */
    word-wrap: break-word; /* Internet Explorer 5.5+ */
}

.note-content {
    padding: 1px 1rem;
    width: 100%;
    font-size: 1rem;
}
.note-content code {
    font-size: 0.95rem;
}
.note-content table td,
.note-content table th {
    border: 1px solid black;
}

@media only screen and (max-width: 600px) {
    .mobile-nav {
        display: unset;
    }
    nav {
        display: none;
        flex-basis: 100%;
    }
    nav ul {
        flex-direction: column;
    }
    .top-bar {
        flex-wrap: wrap;
    }
    header {
        min-height: 2rem;
        height: unset;
    }
    .navbar-nav {
        margin-top: 0;
        margin-bottom: 0;
    }
    .nav-link {
        padding: 0.2rem 0;
    }
    .collapsed-table td,
    .collapsed-table th {
        padding: 1px 1ch;
    }
}

@media only screen and (min-width: 900px) {
    .content,
    .top-bar {
        max-width: 850px;
    }
}

.content-full {
    max-width: unset;
}