body {
  font-size: 70%;
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  margin: 1em 1em 3em 1em;
}
h1 {
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  font-size: 123%;
  color: #191970;
  margin-top: 15pt;
  margin-bottom: 10pt;
}
h2 {
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  font-size: 117%;
  color: #191970;
  margin-top: 23pt;
  margin-bottom: 10pt;
}
h3 {
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  font-size: 102%;
  color: #191970;
  margin-top: 18pt;
  margin-bottom: 9pt;
}
h4 {
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  font-size: 90%;
  color: #191970;
  margin-top: 10pt;
  margin-bottom: 5pt;
}
p {
  margin-top: .9em;
  margin-bottom: .9em;
  line-height: 1.3em;
}
ul li {
  margin-top: .9em;
  margin-bottom: .9em;
}
ol li {
  margin-top: .9em;
  margin-bottom: .9em;
}
a:link {
  color: blue;
  text-decoration: none;
}
a:visited {
  color: blue;
  text-decoration: none;
}
a:hover {
  color: red;
  text-decoration: none;
}
a:active {
  color: red;
  text-decoration: none;
}
.control {
  color: black;
  font-weight: bold;
}
.hotkey {
  color: navy;
  font-weight: bold;
}
.illustration {
  margin-top: 15pt;
  margin-bottom: 15pt;
  margin-left: 20pt;
}
table {
  font-size: 100%;
}
.tableheader {
  background-color: #D8D8D8;
  font-weight: bold;
}
tr {
  padding-top: 2pt;
  padding-bottom: 1pt;
}
td {
  padding-left: 2pt;
  padding-right: 2pt;
}
.note {
  margin-left: 45pt;
  margin-top: 20pt;
  margin-bottom: 15pt;
  margin-right: 10%;
  padding: 1,12,1,12;
  background-color: #F1F5FF;
}
.shortnote {
  margin-left: 30pt;
  margin-top: 15pt;
  margin-bottom: 15pt;
}
.tipheading {
  margin-left: 15pt;
  margin-top: 15pt;
  margin-bottom: 10pt;
  font-weight: bold;
  color: #191970;
}
.tipbody {
  margin-left: 47pt;
  margin-bottom: 15pt;
  text-indent:-15pt;
}
.seealso {
  margin-top: 20pt;
  margin-bottom: 0pt;
  font-weight: bold;
  margin-left: 2pt;
}
.see {
  margin-top: 5pt;
  margin-left: 7pt;
  line-height: 180%;
}
.copyright {
  font-size: 80%;
  text-align: right;
  padding-top: 20pt;
}
.toc {
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  margin-top: 12pt;
  margin-bottom: 5pt;
  margin-left: 12pt;
}
.indent {
  text-indent: 2em;
}
.list1 {
  margin-left: 10pt;
  margin-top: 10pt;
  margin-bottom: 10pt;
}
.list2 {
  margin-left: 15pt;
  margin-top: 10pt;
  margin-bottom: 12pt;
}