html {
  margin: 0;
}
body {
/*font-family: Verdana, Arial, Helvetica, sans-serif;*/
  font-family: sans-serif;
  font-size: 10pt;
  margin: 140px 0em 5em 170px;
  background-image: url("images/quintusv3.png");
  background-repeat: no-repeat;
  background-attachment: fixed;
  background-position: 0px 2em;
}
div.header {
  position: absolute;
  margin-left: 4px;
  width: 860px;
  top: 0em; left: 4px;
  background-color: white;
}
tr.headerfoot {
  background-color: #f0e0ff;
  cellspacing: 0;
}
tr.headersep {
  background-color: #400880;
}
span.header1 {
  font-weight: bold;
  font-size: 16pt;
}
span.header2 {
  font-weight: bold;
  font-size: 28pt;
  color: #400880;
}
span.header3 {
  font-weight: bold;
  font-size: 20pt;
  color: #400880;
}
div.footer {
  bottom: 0em;
  margin-right: 2em;
}
div.footer hr {
  margin-left: 0;
  margin-top: 0.5em;
  width: 690px;
  height: 0;
}
div.header td,
div.footer td {
  font-size: 8pt;
}
div.menu {
  position: absolute;
  width: 140px; height: auto;
  top: 132px; left: 8px; bottom: 1em;
  background-color: #f0e0ff;
}
div.menu a,
div.header a {
  text-decoration: none;
}
div.menu a:hover,
div.header a:hover {
  background: #ffffff;
/*color: #0000f0;*/
  text-decoration: underline;
}
ul.menu {
  list-style: none;
  margin-left: 0.8em;
  margin-top: 0em;
}
li.menuhead {
  font-weight: bold;
  font-size: 8pt;
  padding: 0.2em;
  color: white;
  background-color: #400880; 
  margin-left: -1.2em;
  margin-top: 0.4em;
  margin-bottom: 0.4em;
}
li.menuhead1 {
  font-weight: bold;
  font-size: 8pt;
  padding: 0.2em;
  color: white;
  background-color: #400880;
  margin-left: -1.2em;
  margin-top: 0.0em;
  margin-bottom: 0.4em;
}

/* The child selectors are a hack to hide these rules from WinIE6,
   which gets confused by "fixed" */
body>div.menu {
  position: fixed;
}
body>div.menu>ul.menu {
  list-style: none;
  margin-left: -2em;
  margin-top: 0;
}
h1,h2,h3,h4 {
  color: #400880;
}
code,pre,kbd {
  font-family: monospace;
}
code,kbd {
  font-size: 100%;
}
pre.example {
  font-size: 10pt;
  background-color: yellow;
}
kbd {
  font-weight: bolder;
}
strong {
  color: red;
}
p.caption {
  font-style: italic;
  font-size: 10pt;
}
thead {
  font-weight: bold;
  background-color: #d0c0f0;
}
ol.roman {
   list-style-type: upper-roman;
}
ol.alpha {
   list-style-type: upper-alpha;
}
div.figure {
  float: right;
  width: 25%;
  border: thin solid;
  margin: 0.5em;
  padding: 0.5em;
  text-align: center;
}
table.image {
  border: thin #f0f0ff solid;
  margin: 0.5em;
  padding: 0.5em;
  width: 25%;
}
p.caption {
  font-style: italic;
  font-size: 8pt;
  text-align: center;
}
img.scaled {
  width: 100%;
}