body {
  font-family: Verdana, "DejaVu Serif", serif;
  font-size: 10pt;
}

h1 {
  font-family: "Gill Sans", "Trebuchet MS", "DejaVu Sans", sans-serif;
  font-size: 16pt;
  font-weight: normal;
}

h2 {
  font-family: "Gill Sans", "Trebuchet MS", "DejaVu Sans", sans-serif;
  font-size: 14pt;
  font-weight: normal;
  margin: 0.5em 0 0.5em;
}

h3 {
  font-family: "Gill Sans", "Trebuchet MS", "DejaVu Sans", sans-serif;
  font-size: 12pt;
  font-weight: normal;
   margin: 1em 0px 0.5em 0px;
}

#header {
  position: relative;
}

#main {
   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;
}

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

#os-support {
  border: 1px dotted black;
  font-size: 12px;
}
#os-support thead {
}
#os-support th {
  padding: 2px;
  font-weight: bold;
  font-size: 14px;
  text-align: center;
}
#os-support tbody {
}
#os-support tr.alt {
    background: #F5FAFA;
}
#os-support td {
  padding-right: 1em;
  padding-left: 1em;
  color: black;
}
#os-support td.header {
    /* font-weight: bold; */
    border: none;
}
#os-support td.os {
  text-align: right;
}
#os-support td.impl {
  text-align: left;
}