/* Navigator */
div.toc {
  float: left;
  width: 20%;
  margin-top: 1em;
}
div.toc p {
  text-align: center;
  font-size: 110%;
  margin-top: 1ex;
  padding-left: 0.5em;
  padding-right: 0.5em;
  padding-top: 1ex;
  padding-bottom: 1ex;
  border-bottom: 1px solid gray;
}
div.toc p.toppage {
  font-size: 80%;
  padding-top: 0;
  padding-bottom: 1ex;
  border-bottom-style: none;
}
div.toc a {
  text-decoration: none;
}

/* Document Body */
div.body {
  float: right;
  width: 78%;
}
div.body h1 {
  padding-left: 0.5em;
  padding-top: 0.5ex;
  padding-bottom: 0.5ex;
}
div.body h2 {
  padding-top: 0.5ex;
  padding-bottom: 0.5ex;
  padding-left: 0.5em;
}
div.body h3 {
  padding-top: 3ex;
  padding-left: 0.5em;
}
div.body img {
  margin-left: 2em;
}
div.body p {
  margin-left: 2em;
}
p.note {
  padding-left: 2em;
  font-size: 80%;
}
p.latest {
  margin-top: 2em;
  margin-bottom: 2em;
  font-size: 120%;
}
a.history {
  font-size: 80%;
}
code {
  margin-left: 0.5em; 
  margin-right: 0.5em; 
}
tr {
  vertical-align: top;
}
ul li {
  padding-top: 1ex;
}

/* old standalone document */
div.basic h1 {
  padding-left: 0em;
  padding-top: 0.5ex;
  padding-bottom: 0.5ex;
}
div.basic h2 {
  padding-top: 2ex;
  padding-bottom: 0.5ex;
  padding-left: 0.5em;
}
div.basic h3 {
  padding-top: 3ex;
  padding-left: 1em;
}
div.basic h4 {
  padding-left: 2em;
}
div.basic img {
  margin-left: 2em;
}
div.basic p {
  margin-left: 2em;
}


/* OS */
table.os {
  margin-left: 2em;
  border: 1px gray solid;
  border-collapse: collapse;
}
table.os th {
  padding-top: 4px;
  padding-bottom: 4px;
}
table.os td {
  border-top: 1px gray solid;
  vertical-align: top;
  padding-left: 2px;
  padding-top: 4px;
  padding-bottom: 4px;
  padding-right: 1em;
  margin-bottom: 1ex;
}
table.os td.osname {
  white-space: nowrap;
}
table.os td p {
  margin-left: 0;
}

/* Usage */
table.usage {
  margin-left: 2em;
  border: 1px gray solid;
}
table.usage th {
  border: 1px gray solid;
}
table.usage td {
  border: 1px gray solid;
  vertical-align: top;
  padding-left: 2px;
  padding-top: 2px;
  padding-right: 1em;
  margin-bottom: 1ex;
}
table.usage td p {
  margin-left: 0;
}

/* Version History */
div.history p {
  margin-top: 0;
  white-space: nowrap;
  margin-bottom: 0;
  margin-left: 2px;
}
div.history p.version {
  font-size: 120%;
}
table.history {
  margin-left: 2em;
  border: 1px gray solid;
}
table.history td {
  border: 1px gray solid;
  vertical-align: top;
  padding-right: 1em;
  margin-bottom: 1ex;
}
table.history td ul li p {
  margin-left: 1em;
  margin-right: 1em;
}

th {
  text-align: left;
  white-space: nowrap;
}

table.plan {
  width: 100%;
  border: 1px gray solid;
  text-align: left;
}
table.plan th {
  border: 1px gray solid;
  text-align: left;
  white-space: nowrap;
}
table.plan td {
  border: 1px gray solid;
}
table.plan tr {
  vertical-align: top;
}