table {
  border-collapse: collapse;
}
th, td {
  border: solid black 1pt;
  padding: 1ex;
}
td.expr {
  font-family: monospace;
}
pre {
  margin-left: 2ex;
  margin-bottom: 3em;
}