@font-face {
    font-family: 'Manrope';
    src: url('/assets/fonts/manrope/Manrope-Regular.woff2') format('woff2');
    font-style: normal;
    font-weight: 400;
    font-display: swap;
}

@font-face {
    font-family: 'Manrope';
    src: url('/assets/fonts/manrope/Manrope-Bold.woff2') format('woff2');
    font-style: normal;
    font-weight: 700;
    font-display: swap;
}

html {
    height: 100%;
}

body {
    margin-top: 0;
    font-family: Manrope, Inter, 'Noto Sans', Ubuntu, 'DejaVu Sans', sans-serif;
    FONT-SIZE: 9pt;
    margin-left: auto;
    margin-right: auto;
    background-color: #eaeaea;
    height: 100%;
}


.container {
    max-width: 900px;
    background-color: white;
    min-height: 100%;
    overflow: hidden;
}

.navbar {
    margin-bottom: 0;
}

.navbar-inverse .navbar-nav > li > a {
    color: white;
    font-size: 20px;
    margin-top: 8px;
}

.dl-horizontal dt {
    float: left;
}

dd {
    margin-left: 100px;
}

.noscroll {
    position: fixed;
    overflow-y: scroll
}