@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrainsMono/JetBrainsMono-Regular.woff2");
    font-style: normal;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrainsMono/JetBrainsMono-ExtraLight.woff2");
    font-weight: lighter;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrainsMono/JetBrainsMono-Bold.woff2");
    font-weight: bold;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrainsMono/JetBrainsMono-Italic.woff2");
    font-style: italic;
}

body {
    font-size: 100%;
    font-family: "JetBrains Mono";
    color: #E5E5E5;
    background-color: #363537;
    width: 75%;
    margin: 0 auto;
}

p {
    font-size: 90%;
    font-weight: lighter;
}

footer {
    font-size: 75%;
    color: #7e7e7e;
    position: fixed;
    left: 0;
    bottom: 0;
    width: 100%;
    text-align: center;
}

a:link {
    color: #9EA9FF;
}

a:visited {
    color: #4A56AD;
}