/*@font-face {
    font-family: jsMath;
    src: url("/static/assets/fonts/jsMath-cmmi10.ttf");
}*/

@font-face {
    font-family: Josefin Sans;
    src: url("/static/assets/fonts/Josefin_Sans/JosefinSans-VariableFont_wght.ttf");
}

@font-face{
    font-family: JetBrains Mono;
    src: url("/static/assets/fonts/JetBrains_Mono/JetBrainsMono-VariableFont_wght.ttf");
}

:root{
    --1: rgb(230, 229, 217);
    --2: rgb(224, 168, 83);
    --3: rgb(96, 119, 176);
    --good_green: rgb(96, 193, 96);
    --bad_red: rgb(200, 58, 58);
}

body{
    margin: 0;
    min-height: 100vh;
    overflow: auto;
}

img{
    max-height: 100%;
    max-width: 100%;
}

h1, h2, h3, h4, h5, h6, p{
    margin: 0;
}

a{
    cursor: pointer;
}

.no_top_margin{
    margin-top: 0;
}

button{
    transition: scale 0.2s;
    cursor: pointer;
}

button:hover{
    scale: 1.02;
}

button:active{
    scale: 1;
}

input{
    outline: none;
    font-family: Josefin Sans;
}

.default-blue-button{
    border: none;
    border-radius: 5px;
    color: white;
    font-weight: bold;
    font-size: 16px;
    background-color: var(--3);
    font-family: Josefin Sans;
}