@font-face {
    font-family: '7-12-serif'; 
    src: url('/7-12-serif.otf'); /*URL to font*/
}

.code {
    font-family: "7-12-serif";
    font-size: 30px;
    line-height: 1em;
}

.grad {
    background: #CFCFCF;
    background: linear-gradient(to right, #CFCFCF 0%, #242424 100%);
    -webkit-background-clip: text;
    background-clip: text;
    -webkit-text-fill-color: transparent;
}

.mini {
    height: 50px;
    width: auto;
    margin: -5px;
}