@font-face {
    font-family: "MonoLisa";
    src: url("../fonts/monolisa/woff2/MonoLisa-Light.woff2") format("woff2"),
         url("../fonts/monolisa/woff/MonoLisa-Light.woff") format("woff");
    font-weight: 300;
    font-style: normal;
}

@font-face {
    font-family: "MonoLisa";
    src: url("../fonts/monolisa/woff2/MonoLisa-Regular.woff2") format("woff2"),
         url("../fonts/monolisa/woff/MonoLisa-Regular.woff") format("woff");
    font-weight: 400;
    font-style: normal;
}

@font-face {
    font-family: "MonoLisa";
    src: url("../fonts/monolisa/woff2/MonoLisa-Medium.woff2") format("woff2"),
         url("../fonts/monolisa/woff/MonoLisa-Medium.woff") format("woff");
    font-weight: 500;
    font-style: normal;
}

@font-face {
    font-family: "MonoLisa";
    src: url("../fonts/monolisa/woff2/MonoLisa-Bold.woff2") format("woff2"),
         url("../fonts/monolisa/woff/MonoLisa-Bold.woff") format("woff");
    font-weight: 700;
    font-style: normal;
}

.mono {
    font-family: "MonoLisa";
}

.mono-bold {
    font-family: "MonoLisa";
    font-weight: 700;
}

pre {
    font-family: "MonoLisa";
    background-color: var(--darkened-bg);
    border: 1px solid var(--hairline-color);
    padding: 8px;
    border-radius: 4px;
    max-width: 800px;
    overflow-x: scroll;
    color: var(--link-fg);
}

.btn {
    box-sizing: border-box;
    -webkit-user-select: none;
    user-select: none;
    display: inline-block;
    background: var(--button-bg);
    padding: 8px 12px;
    border: none;
    border-radius: 4px;
    color: var(--button-fg) !important;
    cursor: pointer;
    transition: background 0.05s;
}

.btn:hover {
    background: var(--button-hover-bg);
}