body {
    all: initial;
    font-size: 100%;
}

div#inputf {
    display: inline-block;
    width: 300px;
    text-align: justify;
    margin-top: 0px;
    margin-bottom: 5px
}

.menu, ul#links{
    display: none;
}

table {
  border-spacing: 0;
  width: 100%;
  border: 1px solid #ddd;
  font-family: monospace;
}

th {
  cursor: pointer;
  background-color: #bbb
}

th, td {
  padding: 16px;
  max-height: 40px;
}

tr:nth-child(even) {
  background-color: #f2f2f2
}

p {

  margin-right: 80px;
  margin-left: 80px;
}

button {
  width: 300px
}
span#mono {
  font-family: monospace;
  background-color: #eee;
  font-size: 120%;
}