div.header {
  background: skyblue;
}

div.header h1 {
  margin: 0pt 0pt 0pt 0pt;
  padding: 0pt 0pt 0pt 0pt;
  line-height: 100%;
}

div.main div.section-header h2 {
  border-left: 8pt solid gray;
  padding-left: 4pt;
}

div.main pre.command-line {
  border: 1px solid silver;
  background: floralwhite;
  margin: 4pt 4pt 4pt 4pt;
  padding: 8pt 8pt 8pt 8pt;
}

div.main span.variable {
  font-style: italic;
}

div.main pre.command-line span.optional {
  color: grey;
}

div.footer {
  border-top: 1px solid black;
}

/*
vim: sts=2 sw=2 et
*/