/* .tocset { */
/*     display: none; */
/* } */

/* .maincolumn {
  width: 50em;
  margin-right: -40em;
  margin-left: 15em;
} */

.versionbox {
  display: none;
}