@font-face {
    font-family: JetBrains;
    src: url('JetBrainsMono-Medium.eot');
    src: local('JetBrainsMono'), local('JetBrainsMono'),
    url("JetBrainsMono-Medium.woff") format("woff")
}

html {
    font-family: JetBrains;
    color:#fff;
    background-color: #2b2b2b;
    margin-left:25%;
    margin-right:25%;
    margin-top:10%;
}
h1 {
    margin-bottom: 5px;
}
a {
    color: navajowhite;
}
hr {
    margin: 30px 0 30px 0;
    width: 10%;
    background-color: navajowhite;
    border: none;
    height: 1px;
}
footer a {
    float: right;
    font-size: xx-small;
}
.intl {
    float: right;
    font-size: x-small;
    margin:5px;
}