style.css

body * {
  color: #333;
  font-family: monospace;
  vertical-align: text-top;
  background-color: #e5e5e5;
  border: 1px solid lightgray;
}

body.dark-mode * {
  background-color: #444;
  color: #aaa;
  border: 1px solid #333;
}

body.dark-mode th {
  background-color: #555;
}

table {
  border-collapse: collapse;
  padding: 0px;
}

table,
tr,
td,
th {
  margin: 0px;
  padding: 3px;
}

table.inner {
  width: 100%;
}

table.inner th,
table.inner td {
  border-bottom: 1px;
}

a {
  user-select: none;
  box-sizing: border-box;
  margin: 5px;
  border-radius: 3px;
  text-decoration: none;
  text-align: center;
  vertical-align: middle;
  font-size: 12px;
  min-width: 4em;
  padding: 3px 0;
  position: relative;
  z-index: 10;
  display: inline-block;
  width: 80px;
  transition: all 100ms linear;
}

a:hover,
a.selected {
  font-weight: bold;
}

a.disable {
  cursor: default;
  pointer-events: none;
}

pre {
  display: flex;
}