@font-face {
    font-family: 'fmono';
    src: url('../assets/FreeMonoBold.woff') format('woff'), /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
         url('../assets/FreeMonoBold.ttf') format('truetype'); /* Chrome 4+, Firefox 3.5, Opera 10+, Safari 3—5 */
}

html {
    min-height: 100vh;
    background-image: linear-gradient(to top, #c2fcff, white);
    color: #071c2dff;
}

.disbox {
    font-family: "fmono";
}

.disboxp {
    color: #000080;
    outline: solid;
    outline-width: 2px;
    outline-color: black;
    margin: 0px;
    padding: 5px;
}

.disboxh {
    background-color: #c2fcff;
    outline: solid;
    outline-width: 2px;
    margin: 0;
    margin-bottom: 2px;
    padding-left: 5px;
}

.ico {
    margin-bottom: -3px;
}