/*@import url('https://fonts.googleapis.com/css?family=VT323&display=swap');*/

@font-face {
  font-family: 'VT323';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(VT323.woff2) format('woff2');
}

* {
  font-family: monospace;
  color: #432100;
}

a {
  color: #f45d18;
}

body {
  margin: 3px 15px;
}

h1, quote {
  font-family: "VT323", monospace;
}

h1 {
  font-size: 56pt;
  margin: 0 0;
}

quote {
  font-size: 20pt;
}

header {
  padding-bottom: 4px;
}

.logo {
  float: right;
  padding: 10px;
  image-rendering: pixelated;
}

.container {
  max-width: 760px;
}

.container p {
  line-height: 1.35;
}

.law,
.law * {
  color: gray;
  font-size: 7pt;
}