main.css

body {
  background-color: #fff;
  color: #000;
  margin: 2em;
  transition: 200ms linear;
}

.float-left {
  float: left;
}

div {
  padding: 0;
  margin: 0 2em 0 0;
}

a {
  color: inherit;
  text-decoration: none;
  text-decoration-skip: spaces;
  transition: text-shadow 200ms linear;
}

a:hover {
  color: #000;
  text-shadow: -1px -1px 0px #fff, -1px 0px 0px #fff, -1px 1px 0px #fff, 0px -1px 0px #fff, 0px 0px 0px #fff, 0px 1px 0px #fff, 1px -1px 0px #fff, 1px 0px 0px #fff, 1px 1px 0px #fff, -2px -2px 3px #fff, -2px 0px 3px #fff, -2px 2px 3px #fff, 0px -2px 3px #fff, 0px 0px 3px #fff, 0px 2px 3px #fff, 2px -2px 3px #fff, 2px 0px 3px #fff, 2px 2px 3px #fff;
}

.clean {
  clear: both;
}

.pre {
  white-space: pre;
}

table.pal {
  border-spacing: 2px;
  padding: 0px;
}

table.pal td {
  width: 1em;
  min-width: 1em;
  height: 1em;
  cursor: pointer;
}

#ex {
  padding: 1em;
  transition: 200ms linear;
}

span {
  text-decoration: underline;
}

* {
  font-family: monospace;
}

#appendix-a {
  border-spacing: 0;
  border-collapse: collapse;
}

#appendix-a td {
  padding: 0.2em 1em;
}