/* TODO: Figure out how to stop the margin from shrinking to less than 10px at 1% */
/* TODO: Figure out how large the margin can be before it should stop growing. */

body {
    background-color: #dadfed;
    font-family: "PT Serif", serif;
    font-size: large;
}

main {
    display: block;
    margin: 10px;
    justify-content: center;
    max-width: 1000px;
}

nav {
    background-color: #15234e;
    padding: 10px 0;
    justify-content: center;
    display: flex;
    height: 1.25em;
    width: 100%;
    flex-shrink: 0;
}

a {
    position: relative;
    padding-right: 10px;
    padding-left: 10px;
    text-decoration: none;
    color: white;
}

a:visited {
    color: white;
}

a:hover {
    color: #d8ebec;
    font-size: 1.05em;
}

.centered {
    display: flex;
    justify-content: center;
    flex-shrink: 0;
    flex-wrap: wrap;
}

img {
    border-radius: 10%;
}

.subtitle {
    font-size: 1.25em;
}

.contact-info {
    color: #15234e;
}

.contact-info:hover {
    color: #15234e;
    text-decoration: underline;
    font-size: unset;
}