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

html {
    font-family: "JetBrains Mono", Verdana, sans-serif;
    background-color: #fff;
}

body {
    width: 720px;
    margin: 0 auto;
}
 * {
     font-family: "JetBrains Mono", Verdana, sans-serif;
 }
pre > code {
    font-size: 14px;
}

p:not(pre) > code {
    font-style: italic;
}

pre {
    background-color: lightgray;
    padding: 16px;
    border-radius: 4px;
}

h1{
    font-size: 24px;
}

ul {
    list-style: none;
    padding:0;
    margin:0;
}
li {
    margin-bottom:10px;
}
li::marker {
    display: none;
}
nav {
    margin: 20px 0;
}