html {
  border: 10px inset grey;
  min-height: calc(100vh - 20px);
  min-width: 1000px;
}
body {
  margin: 1em;
  font-family: monospace;
  font-size: 16px;
  line-height: 1.3;
}
#leclub {
  font-family: times;
  font-size: 2em;
}
table {
  min-width: 600px;
}
th,
td {
  text-align: left;
  padding: 0 1em 0 0;
  vertical-align: top;
}
td.name {
  width: 323px;
}
td.versions {
  width: 290px;
}
td.magicwords a {
  color: pink;
}
hr {
  border: 0;
  border-bottom: 1px solid;
  margin: 2em 0 1em;
}
#namefilter {
  padding-bottom: 0.5em;
}
#footer {
  max-width: 600px;
}
.info {
  font-size: smaller;
}
.highlight {
  padding: 0.5em;
  background-color: rgb(173, 130, 252, 0.8);
}
.magic {
  margin-top: 2em;
}
.magicwords {
  padding-right: 5px;
}
.magicwords-publish {
  padding-right: 5px;
  display: inline;
  color: pink;
  opacity: 0.4;
}