html, body, div, h1, h2, p {
    margin: 0;
    padding: 0;
    border: 0;
}
body {
    font-family: 'Roboto', sans-serif;
    font-weight: 300;
    font-style: normal;
    line-height: 1.5;
    -webkit-text-size-adjust: none;
}

#container {
    min-height: 95vh;
    padding-top: 5vh;
    width: 95%;
    max-width: 1000px;
    margin-left: auto;
    margin-right: auto;
    overflow-x: hidden;
}
#header {
    text-align: left;
    font-size: 50px;
    line-height: 60px;
    font-weight: 400;
    border-bottom: 3px solid #339966;
    margin-bottom: 20px;
}
#home-link {
    text-decoration: none;
    color: inherit;
}

#title {
    font-size: 40px;
    line-height: 50px;
    font-weight: 700;
    margin-top: 50px;
    margin-bottom: 10px;
}
#publish {
    font-size: 20px;
    margin-bottom: 50px;
}

.article-body p, .article-body ul, .article-body ol {
    font-size: 20px;
    font-weight: 300;
    font-style: normal;
    line-height: 1.65;
    color: black;
    margin-bottom: 40px;
}
.article-body h3 {
    font-size: 30px;
    font-weight: 300;
    font-style: normal;
    line-height: 1.4;
    color: black;
    margin-bottom: 10px;
}
p code, li code {
    font-family: "Source Code Pro", monospace;
    font-size: 17px;
    background-color: #f3f3f3;
    padding: 3px;
    border-radius: 5px;
}
pre code.hljs  {
    font-family: "Source Code Pro", monospace;
    font-optical-sizing: auto;
    font-weight: 400;
    font-style: normal;
    font-size: 16px;
    margin-top: -25px;
}
.article-body ul, .article-body ol {
    padding-left: 40px;
    margin-top: -30px;
    margin-bottom: 40px;
}
ol#references {
    margin-top: 0;
}
.article-body .image {
    width: 100%;
    display: flex;
    align-items: center;
    justify-content: center;
}
.article-body .image img {
    width: 90%;
    max-width: 1000px; /* overriden on a per-image basis */
    margin-left: auto;
    margin-right: auto;
    margin-bottom: 40px;
}
.article-body mjx-container {
    overflow-x: auto;
    overflow-y: hidden;
    padding-bottom: 5px;
}
.article-body a {
    word-break: break-all;
}

.footer {
    width: 100%;
    margin-top: 60px;
    border-top: 3px solid #339966;
    text-align: center;
    font-size: 20px;
    line-height: 1.6;
    padding-top: 15px;
    padding-bottom: 15px;
}

table, th, td {
    border: 1px solid black;
    border-collapse: collapse;
}

@media screen and (max-width: 800px) {
    #container {
        padding-top: 2vh;
    }
    #header {
        font-size: 35px;
        line-height: 45px;
        border-bottom-width: 2px;
        margin-bottom: 15px;
    }

    #title {
        font-size: 28px;
        line-height: 35px;
        margin-top: 30px;
        margin-bottom: 5px;
    }
    #publish {
        font-size: 18px;
        margin-bottom: 30px;
    }
    
    .article-body p, .article-body ul, .article-body ol {
        font-size: 16px;
        margin-bottom: 25px;
    }
    .article-body h3 {
        font-size: 22px;
        margin-bottom: 5px;
    }
    p code, li code {
        font-size: 13px;
    }
    pre code.hljs  {
        margin-top: -15px;
        font-size: 13px;
    }
    .article-body ul, .article-body ol {
        padding-left: 20px;
        margin-top: -20px;
        margin-bottom: 25px;
    }
    .article-body .image img {
        margin-bottom: 25px;
    }

    .footer {
        margin-top: 35px;
        border-top-width: 2px;
        font-size: 17px;
        padding-top: 10px;
        padding-bottom: 10px;
    }
}