header {
  font-family: verdana, geneva, sans-serif;
  font-weight: bold;
  color: #3050c8;
  background-color: white; /* was #e4e4e6; */
  margin: 15px auto;
  border-radius: 8px;
}
header a {
  color: #3050c8;
}
header a:visited {
  color: #3050c8;
}

body {
  font-family: verdana, geneva, sans-serif;
  font-size: 16px;
  background-color: #d0d0d0; /* for contrast - I need a proper background */
}

footer {
  font-size: 10px;
  margin: 15px auto;
  border-radius: 8px;
}

div.body {
  width: 90%;
  margin: auto;
  background-color: white;
  padding: 4px;
}

footer div {
  border-radius: 8px;
}

div.image {
  text-align: center;
}

div img {
  width: 100%;
  height: 100%;
  border: 4px solid #d0d0d0;
  border-radius: 8px;
  object-fit: contain;
  display: inline-block;
}

div img.img-wide {
  max-width: 1200px;
}

div img.img-normal {
  max-width: 600px;
}

table {
  width: 90%;
  margin: auto;
  border: 1px solid black;
  border-radius: 4px;
}

tr {
  border: 1px solid black;
}

th {
  border: 1px solid black;
}

td {
  border: 1px solid black;
  padding: 4px;
}

code.listing {
  font-size: 14px;
  background-color: #fbf9e0;
}

code.terminal {
  font-size: 14px;
  color: white;
}

code.bytes {
  font-size: 14px;
  font-weight: bold;
}

div.code {
  width: 90%;
  margin: auto;
  background-color: #fbf9e0;
  border: 1px solid #d0d0d0;
  border-radius: 4px;
  padding: 4px;
}

div.terminal {
  width: 90%;
  margin: auto;
  background-color: #201820;
  border-radius: 4px;
  padding: 4px;
}

h1 {
  font-size: 28px;
  text-align: center;
}

h2 {
  font-size: 20px;
  text-align: center;
}