@font-face {
  font-family: 'Red Hat Mono';
  font-style: italic;
  font-weight: 300;
  font-display: swap;
  src: url(https://johnnyrichard.com/static/fonts/RedHatMono-Italic.ttf) format('truetype');
}
@font-face {
  font-family: 'Red Hat Mono';
  font-style: italic;
  font-weight: 500;
  font-display: swap;
  src: url(https://johnnyrichard.com/static/fonts/RedHatMono-BoldItalic.ttf) format('truetype');
}
@font-face {
  font-family: 'Red Hat Mono';
  font-style: normal;
  font-weight: 300;
  font-display: swap;
  src: url(https://johnnyrichard.com/static/fonts/RedHatMono-Regular.ttf) format('truetype');
}
@font-face {
  font-family: 'Red Hat Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url(https://johnnyrichard.com/static/fonts/RedHatMono-SemiBold.ttf) format('truetype');
}

:root {
  --background-color: #f4f4f4;
  --text-color: black;
  --link-color: #4e5289;
}

@media (prefers-color-scheme: dark) {
  :root {
    --background-color: #26282B;
    --text-color: white;
    --link-color: #8c91db;
  }
}

h1, h2, h3, h4, h5, h6, b, strong {
  font-weight: 500;
}

div.example {
  margin: 0;
}

body {
  background: var(--background-color);
  color: var(--text-color);
  margin: 0;
  padding: 0 40px;
}

body, pre {
  font-weight: 300;
  font-family: "Red Hat Mono";
  font-size: 1.4rem;
}

a {
  color: var(--link-color);
}

body > * {
  max-width: 1024px;
  margin: 10px auto;
}

header > h1 {
  font-weight: normal;
}

nav, header > h1 {
  text-align: center;
}

header {
  margin-top: 70px;
  margin-bottom: 20px;
}

footer {
  margin: 20px auto;
}

body > * {
  line-height: 1.75rem;
  overflow: hidden;
}

pre {
  background: rgba(0,0,0, 0.75);
  color: white;
  padding: 1.5rem;
  max-width: 100%;
  overflow: auto;
  font-size: large;
  line-height: 1;
}

.logo-name {
  font-size: 3.2rem;
  font-weight: bold;
}

ol {
  margin-left: 1.5rem;
}