@import url('https://fonts.googleapis.com/css2?family=Merriweather:ital,wght@0,300;0,400;0,700;0,900;1,300;1,400;1,700;1,900&display=swap');

body {
  font-family: Merriweather, Verdana, "DejaVu Serif", serif;
  font-size: medium;
  line-height: 1.4;
}

h1, h2, h3, h4, h5 {
    font-family: system-ui, sans-serif;
    font-stretch: condensed;
}

.literal-block {
    background: rgb(247,247,247);
    border: 1px solid rgb(215,215,215);
    margin: 1em 1.75em;
    padding: 0.25em;
    overflow: auto;
}

#header {
  position: relative;
}

#main {
    max-width: 50em;
    margin-left: 5em;
}

#footer {
  clear: both;
  padding: 10px 10px 5px 10px;
  border-top: 1px dotted;
  border-top-color: gray;
}

#links {
  font-size: smaller;
  position: absolute;
  right: 0;
  top: -0.5em;
}

.nav ul {
  list-style: none;
  margin: 0;
  text-align: right;
}

.nav li {
  border-right: 1px solid #d7d7d7;
  display: inline;
  padding: 0 .75em;
  white-space: nowrap;
}

.nav li.last {
  border-right: none;
}

#tarballs {
}

tr.alt {
    background: #F5FAFA;
}

td {
    padding-right: 1em;
    padding-left: 1em;
}

td.header {
    font-weight: bold;
    border: none;
}

td.os {
  text-align: right;
}