#content a,
.nav-link {
    color: #000ebb;
    text-decoration: none
}

#content a *,
.nav-link * {
    color: #000ebb
}

#content a:hover,
.nav-link:hover {
    color: #000ebb;
    text-decoration: underline
}

#footer a,
.navbar-brand {
    color: #222;
    text-decoration: none
}

#footer a *,
.navbar-brand * {
    color: #222
}

#footer a:hover,
.navbar-brand:hover {
    color: #222;
    text-decoration: underline
}

#content table td,
#content table th {
    border: 1px solid #ccc;
    padding: 6px 12px;
    text-align: left
}

* {
    color: #222;
    font-family: Inconsolata;
    font-size: 14pt;
    line-height: 1.2
}

.container {
    max-width: 750px
}

.navbar-brand {
    font-size: 1.8rem
}

body>div.mt-5 {
    margin-top: 1rem !important
}

#content p {
    margin-bottom: .6rem
}

#content h1,
#content h2,
#content h3,
#content h4,
#content h5,
#content h6 {
    font-size: medium;
    font-weight: 700;
    margin: 1rem 0 .6rem
}

#content h1 {
    font-size: 1.8rem
}

#content h2 {
    font-size: 1.6rem
}

#content h3 {
    font-size: 1.4rem
}

#content h4 {
    font-size: 1.2rem
}

#content img {
    display: block;
    margin: 1rem auto;
    max-width: 100%
}

#content .avatar>img {
    border-radius: 50%;
    float: right;
    margin: -8px 0 0 16px;
    height: 150px;
    width: 150px
}

#content #about-links>a {
    margin: 0 10px
}

#content .paper-title {
    font-weight: 700;
    margin: 5px auto
}

#content .paper-authors {
    font-size: 90%;
    color: #888;
    margin: 5px auto
}

#content .paper-authors>u {
    font-size: 100%;
    color: #888
}

#content .paper-booktitle {
    font-size: 90%;
    margin: 5px auto;
    color: #888
}

#content .paper-links {
    font-size: 90%;
    color: #888
}

#content .paper-links>a {
    font-size: 90%
}

#content .paper-thumbnail>img {
    display: block;
    max-width: 280px;
    margin: 5px 0
}

#content ol {
    counter-reset: list;
    list-style: none;
    padding-left: 2rem
}

#content ol>li {
    display: table-row
}

#content ol>li:before {
    content: "[" counter(list, decimal)"] ";
    counter-increment: list;
    display: table-cell;
    text-align: right;
    padding-right: .5em
}

#content .container>ol,
#content .footnotes>ol {
    padding-left: 0
}

#content ul {
    list-style: inside;
    padding-left: 2rem
}

#content ul>li {
    list-style-position: outside;
    margin-left: 1em
}

#content .container>ul,
#content .footnotes>ul {
    padding-left: 0
}

#content table {
    margin: 1rem auto;
    width: 100%
}

#content table th {
    font-weight: 700
}

#content table tr:nth-child(2n) {
    background-color: #f8f8f8
}

#content blockquote {
    border-left: 4px solid;
    font-style: italic;
    margin: 1rem 0;
    padding: 8px
}

#content code {
    color: #222;
    background-color: #f8f8f8;
    border: 1px solid #ccc;
    border-radius: 10%;
    padding: 0 4px
}

#content pre code {
    all: unset
}

#content .highlight {
    margin: 1rem auto
}

#content .highlight>pre {
    padding: 8px
}


#content .project-title {
    font-weight: 700;
    margin: 5px auto
}

#content .project-contributors {
    font-size: 90%;
    color: #888;
    margin: 5px auto
}

#content .project-authors>u {
    font-size: 100%;
    color: #888
}

#content .project-tech-stack {
    font-size: 90%;
    margin: 5px auto;
    color: #888
}

#content .project-links {
    font-size: 90%;
    color: #888
}

#content .project-links>a {
    font-size: 90%
}

#content .project-thumbnail>img {
    display: block;
    max-width: 280px;
    margin: 5px 0
}

.btn-outline-brand {
    color: #000ebb;
    border: 1px solid #000ebb;
    box-shadow: none;
}

.btn-outline-brand:hover {
    background: #000ebb;
    color: white;
    box-shadow: none;
    outline: none;
}