@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; }