
table, th, td {
    border: 1px solid black;
    border-collapse: collapse;
    padding: 1vh;
    margin: 0 auto;
}

.table-scroll {
    display: block;
    width: 100%;
    overflow-x: auto;
}

.table-scroll table {
    display: table;
    margin: 0 auto;
    white-space: nowrap;
    border-collapse: collapse;
    text-align: center;
}

th {
    text-align: center;
}
tr:nth-child(even) {
    background-color: #ededed;
}

#input_terminators {
  border: none;
  color: black;
  background-color: #FAFAFA;
  min-width: 80px;
}

#input_terminators:focus-visible {
  outline: none;
}

#input_terminators_hide {
  position: absolute;
  height: 0;
  overflow: hidden;
  white-space: pre;
}

#input_terminators_hide,
#input_terminators {
  font: inherit;
  margin: 0;
  padding: 0;
}

.katex {
    overflow-x: scroll;
    overflow: scroll hidden;
}