/* Based on an original developed at the WDG, http://www.htmlhelp.com */

body {
  margin-left: 5%; margin-right: 5%;
  background-color: #ffffff ; background-image: none;
  color: #000066;
}

img.mug { float: right; }

.nav { text-align: center; }
.nav img { vertical-align: middle; }

h1 {
  color: #c33;
/*  background: transparent none; */  /* amaya 1.1c gets upset by this! */
  background-color: transparent; background-image: none;
  margin-top: 1em;
  font-weight: bold;
  text-align: center
}

h2 {
  color: #00008b;
/*  background: transparent none; */
  background-color: transparent; background-image: none;
  margin-left: -3%;
  margin-right: 0%;
  font-weight: bold
}

h3 {
  color: #006400;
/*  background: transparent none; */
  background-color: transparent; background-image: none; 
  margin-left: -1%;
  margin-right: 0%;
  font-weight: bold
}

h4 {
  margin-left: 1%;
  margin-right: 1%;
  font-weight: bold
}

h5 {
  margin-left: 1%;
  margin-right: 1%;
  font-weight: bold
}

ol, dl, p {
  margin-left: 0%;
  margin-right: 0%
}

/* p { text-indent: 3%; }
p.no { text-indent: 0 } */

ul {
  margin-left: 0%
}

ul.plain { list-style: none }

pre {
  margin-left: 10%;
  white-space: pre
}

table {
  margin-left: 4%;
  margin-right: 4%
}

table caption {
  font-size: larger;
  font-weight: bolder
}

table p, table ul, table dl, table ol, ul table, dl table, ol table, ol p,
ul p, dl p, blockquote p, .note p, .note ul, .note ol, .note dl, .note table,
 li pre, dd pre {
  margin-left: 0;
  margin-right: 0;
  text-indent: 0
}

p small { font-size: 85% }

p.top {
  margin-left: 1%;
  margin-right: 1%
}

blockquote {
  margin-left: 3%;
  margin-right: 3%;
  border: thin ridge #dc143c
}

blockquote pre {
  margin-left: 1%;
  margin-right: 1%
}

dt a {
  font-weight: bold;
  margin-top: .8em
}

a:link {
  color: #00f;
/*  background: transparent none; */
  background-color: #ffffff; background-image: none; 
  text-decoration: none;
}

a:visited {
  color: #800080;
/*  background: transparent none; */
  background-color: transparent; background-image: none; 
  text-decoration: none;
}

a:active {
  color: #006600;
  background-color: #FFffcc ; background-image: none ;
}

strong.html {
  color: #191970;
  background-color: transparent; background-image: none; 
}

strong.css {
  color: #800000;
  background-color: transparent; background-image: none; 
}

pre code.css {
  color: #800000;
  background-color: transparent; background-image: none; 
}

pre code.html {
  color: #191970;
  background-color: transparent; background-image: none; 
}

dfn {
  font-style: normal;
  font-weight: bolder
}

.note {
/*  font-size: smaller; */
  margin-left: 10%
}

.SMA {
  color: fuchsia;
  background-color: transparent; background-image: none; 
  font-family: Kids, "Comic Sans MS", Jester
}

.oops {
  font-family: Jester, "Comic Sans MS"
}

.author {
  font-style: italic
}

.copyright {
  font-size: smaller;
  text-align: right;
  clear: right
}

.toolbar {
  text-align: center
}

.toolbar IMG {
  float: right
}

.error {
  color: #DC143C;
  background-color: transparent; background-image: none; 
  text-decoration: none
}

.warning {
  color: #FF4500;
  background-color: transparent; background-image: none; 
  text-decoration: none
}

.error strong {
  color: #DC143C;
  background-color: #FFD700; background-image: none;
  text-decoration: none
}

.warning strong {
  color: #FF4500;
  background-color: #FFD700; background-image: none;
  text-decoration: none
}

.warning a:link, .warning a:visited, .warning a:active {
  color: #FF4500;
  background-color: transparent; background-image: none; 
  text-decoration: underline
}

.error a:link, .error a:visited, .error a:active {
  color: #DC143C;
  background-color: transparent; background-image: none; 
  text-decoration: underline
}

.error strong a:link, .error strong a:visited, .error strong a:active {
  color: #DC143C;
  background-color: #FFD700; background-image: none;
}

.warning strong a:link, .warning strong a:visited, .warning strong a:active {
  color: #FF4500;
  background-color: #FFD700; background-image: none; 
}

.dr { 
      margin: 1em 30% 0;
      border: 3px double #999999;
      padding: 6px 0 0;
    }
.dr HR { width: 0; line-height: 19px; }