/* include fonts or paste */
@font-face {
    font-family: 'IBM Plex Serif';
    src: local('IBM Plex Serif Bold'), local('IBMPlexSerif-Bold'),
        url('fonts/IBMPlexSerif-Bold.woff2') format('woff2');
    font-weight: bold;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'IBM Plex Serif';
    src: local('IBM Plex Serif Bold Italic'), local('IBMPlexSerif-BoldItalic'),
        url('fonts/IBMPlexSerif-BoldItalic.woff2') format('woff2');
    font-weight: bold;
    font-style: italic;
    font-display: swap;
}

@font-face {
    font-family: 'IBM Plex Serif';
    src: local('IBM Plex Serif Italic'), local('IBMPlexSerif-Italic'),
        url('fonts/IBMPlexSerif-Italic.woff2') format('woff2');
    font-weight: normal;
    font-style: italic;
    font-display: swap;
}

@font-face {
    font-family: 'IBM Plex Serif';
    src: local('IBM Plex Serif Light'), local('IBMPlexSerif-Light'),
        url('fonts/IBMPlexSerif-Light.woff2') format('woff2');
    font-weight: 300;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'IBM Plex Serif';
    src: local('IBM Plex Serif Light Italic'), local('IBMPlexSerif-LightItalic'),
        url('fonts/IBMPlexSerif-LightItalic.woff2') format('woff2');
    font-weight: 300;
    font-style: italic;
    font-display: swap;
}

@font-face {
    font-family: 'IBM Plex Serif';
    src: local('IBM Plex Serif Regular'), local('IBMPlexSerif-Regular'),
        url('fonts/IBMPlexSerif-Regular.woff2') format('woff2');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
}

body, a, pre {
    color:white;
    background-color:black;
    font-family: "IBM Plex Serif", serif;
}
hr { color:white; }
pre {
    border:none;
    overflow:unset;
}
.banner {
    display:flex;
    align-items:center;
    max-height:123px; 	/* 86px font * 1.5 line height*/
    max-width:82em;
    margin:auto;
}

.bannertext {
    font-size:86px;
    font-weight:700;
}

.nav {
    /* display:flex; */
    /* justify-content:space-between; */
    margin-left:7em;
    font-weight:500;
}

.sp {
    padding-left:5px;
    padding-right:5px;
}

.bhr {
    border-width:2px;
    border-style:solid;
}
.nhr {
    margin-left:6em;
    max-width:25em;
}

.footer {
    display:flex;
    justify-content:space-between;
    max-height:50px;
    max-width:60em;
    margin:auto;
}

.footertext {
    font-size:12px;
}

.content {
    padding-bottom:2em;
}