img.portrait {
  width: auto !important;
}

header {
  margin-top: 10vh !important;
}

.column.right {
  flex: 1.61803;
}

pre {
  background-color: #1a1c23;
  color: #c0def5;
  padding: 6px;
  margin: 6px;
}

p.notation {
  font-style: italic;
  font-size: 14px;
}