@font-face {
    font-family: 'terminal_grotesque';
    src: url('terminal-grotesque-webfont.woff2') format('woff2'),
         url('terminal-grotesque-webfont.woff') format('woff');
    font-weight: normal;
    font-style: normal;

}

@font-face {
    font-family: 'lineal';
    src:  url('Lineal-Regular.woff2') format('woff2'),
    src:  url('Lineal-Regular.woff') format('woff');
    font-weight: normal;
    font-style: normal;
}

h1, h2, h3, h4 {
    font-family: lineal
}

h1, h2, h3, h4, strong, nav ul li a, a, a:visited {
    color: #22f;
}

a[href^="http"]:after {
    content: "»";
}

h1 {
    font-size: 38pt;
    line-height: 1;
}

h2 {
    margin-top: 2rem;
    text-transform: uppercase;
}

body {
    max-width: 40rem;
    margin: auto;
    padding: 0.5rem 1rem 3rem 1rem;
    font-family: terminal_grotesque;
    font-size: 14pt;
    background: linear-gradient(20deg, white, #ebebff, 40%, #f6f4ff, #f8f8ff);
    /* so that background gradient doesn't freak on small pages */
    min-height: calc(100vh - 1rem - 3rem);
}

p code {
    font-size: 12pt;
}

pre:has(code) {
    font-size: 10pt;
    overflow-x: scroll;
    padding: 0.5rem;
    background: #eee;
    border-radius: 0.25rem;
}


main {
    padding-top: 4rem;
}

td {
    padding: 0.5rem;
}

#logo {
  position: fixed;
  display: block;
  font-family: lineal;
  left: 1rem;
}

nav, div#logo {
  box-sizing: border-box;
  padding: 0.1rem;
  border-radius: 1rem;
  color: #22f;
  position: fixed;
  background: transparent;
  backdrop-filter: blur(16px);
  -webkit-backdrop-filter: blur(16px);
}


nav {
    right: 1rem;
}

nav ul {
    margin: 0;
    padding: 0;
}

nav ul li {
    list-style-type: none;
    display: inline;
    font-family: lineal;
    text-transform: uppercase;
    cursor: pointer;
}

h1 {
    margin: 0;
}