@import url('https://fonts.googleapis.com/css2?family=Open+Sans:wght@700&display=swap');

html, body {
    font-family: utopia-std, serif;
    font-weight: 400;
    font-style: normal;
    background-color: #000033;
    margin: 0;
    padding: 1vw;
}

body {
    display: flex;
    justify-content: center;
}

.content {
    max-width: 960px;
    margin: auto;
}

nav {
    font-size: 0.9rem;
    text-align: center;
    color: white;
    line-height: 2rem;
    padding-bottom: 1rem;
}

nav a, a:link, a:visited {
    color: white;
}

main {
    background-color: white;
    margin: auto;
    padding: 20px 20px 20px 0;
    max-width: 960px;
}

h1 {
    text-align: center;
    font-size: 1.25rem;
}

ul, ol {
    margin-left: 20px;
}

ul {
    list-style: none;
}

.flex-toc{
    display: flex;
    justify-content: center;
    justify-content: space-between
}

.flex-toc-child {
    align-items: flex-start;
}

.toc-heading {
    font-size: 0.9rem;
}

.unreleased {
    font-size: 0.8rem;
    color: #999999;
}

.released {
    font-size: 0.8rem;
    color:black;
}

a.toc-link {
    font-size: 0.8rem;
    color:black;
}

.ol-excluded {
    font-size: 0.8rem;
    display: block;
    margin-left: -20px;
}

.li-blank {
    line-height: 0.75rem;
}

/* Small devices (landscape phones, 576px and up) */
@media (min-width: 576px) {  

}

/* Medium devices (tablets, 768px and up) The navbar toggle appears at this breakpoint */
@media (min-width: 768px) {  

}

/* Large devices (desktops, 992px and up) */
@media (min-width: 992px) { 

}

/* Extra large devices (large desktops, 1200px and up) */
@media (min-width: 1200px) {  

}