@font-face {
  font-family: 'JetBrains Mono';
  src: url('JetBrainsMono-ExtraBold.woff2') format('woff2');
  font-weight: 600;
}

body {
    background-color: black;
    color: darkgray;
    font-family: 'JetBrains Mono', monospace;
    max-width: 800px;
    margin: 0 auto;
}

a {
    color: burlywood;
    text-decoration: none;
    font-weight: bold;   
}

.toollinks {
    margin-left: -17px;
    margin-top: -10px;
    margin-bottom: -5px;
}

.quicklist {
    margin-top: -10px;
}