/* import - fonts */
@import url('https://fonts.googleapis.com/css2?family=Google+Sans+Code:ital,wght,MONO@0,300..800,1;1,300..800,1&family=Red+Hat+Mono:ital,wght@0,300..700;1,300..700&display=swap');

/* fix ancient legacy content-box (wrong padding) layout */
*,
*::before,
*::after {
    box-sizing: border-box;
}

body {
    padding: 0;
    margin: 0;

    flex-grow: 1;
    min-height: 100dvh;

    display: flex;
    flex-direction: column;

    font-family: "Red Hat Mono", monospace;
    font-weight: 400;
    font-optical-sizing: auto;
    font-style: normal;
}

strong {
    font-weight: 600;
}

hr {
    width: 100%;
    border: none;
    background: #dcdcdc;
    height: 1px;
}

.centered {
    width: 100%;
    max-width: 800px;
    flex-grow: 1;
    align-self: center;
    margin: auto;
}

.site-footer {
    display: flex;
    justify-content: center;
    /* padding: 2px; */
    flex-shrink: 0;
    min-height: 20px;
    width: 100%;
}