s1.css

body{
  margin-top: 1em;
  margin-left: 8%;
  background-color: #ffffff;
  font-family: "DejaVu Serif", "Cambria", serif;
}
@media(max-width: 52em){
  body{
    margin-left: 2%;
  }
}
td{
  vertical-align: top;
}
.mono{
  font-family: "FreeMono", "Courier New", monospace;
}
.nb{
  white-space: nowrap;
}
input[type="text"]{
  font-family: "FreeMono", "Courier New", monospace;
  color: #202020;
  font-size: 100%;
}
a.modest{
  color: #606052;
}