/*------------------------------------------------------------------------------
  manual.css - Formatting for user manuals

  Brian B. McGuinness
------------------------------------------------------------------------------*/
@media screen {
  body {
    background-color: white;
    color: black;
    font-family: Verdana, Helvetica, sans-serif;
    margin: 0 auto;
    width:  80ex;
  }
}

@media print {
  body {
    font-family: "Times New Roman", Roman, serif;
    font-size:   10pt;
  }

  table {
    border-collapse: collapse;
    border: solid 1px black;
  }

  td, th {
    border: solid 1px black;
  }
}

@page {
  size:   8.5in 11in;
  margin: 1in;
}

h2.section, h3.section {
  background-color: #ddd;
  padding: 1ex;
}

td, th {
  padding-left:  1ex;
  padding-right: 1ex;
}

ul.notes li {
  padding-top:    0.5ex;
  padding-bottom: 0.5ex;
}

.bodytext p {
  font-size: 0.875em;
}

/* Table of contents formats */

.toc ol {
  counter-reset: section;
  list-style-type: none;
}
		
.toc ol > li {
  counter-increment: section;
}
            
.toc ol > li:before {
  content: counters(section, ".") ". ";
}