a:link {
   background-color: None;
   color: #0000FF; /* for unvisited links */
}

a:visited {
   background-color: None;
   color: #0000FF;
   /* color: #800080; -- needs to match "navbar" class */
}

a:hover {
   background-color: None;
   color: #0000FF;
   /* color: #FF0000; -- needs to match "navbar" class */
   /* font-size: 110%; -- needs to match "navbar" class */
}

a:active {
   background-color: None;
   color: #0000FF;
   /* color: #FF0000; -- needs to match "navbar" class */
}

body {
   background-color: #AD9E86;
   color: #000080;
}

body, td, p, ul, ol {
   font-size: 11pt;
}

body, td, p, ul, ol, h1, h2, h3 {
   font-family: "Trebuchet MS", Verdana, Arial, Helvetica, sans-serif;
}

em {
   font-style: italic;
   font-weight: bold;
}

h1 {
   background-color: #FFFFFF;
   color: #523F68;
   font-size: 150%;
   font-style: normal;
   text-align: left;
   margin-top: 5px;
   margin-bottom: 15px;
}

h2 {
   background-color: #FFFFFF;
   color: #3E5469;
   font-size: 125%;
   font-style: normal;
   text-align: left;
   margin-top: 5px;
   margin-bottom: 5px;
}

h3 {
   background-color: #FFFFFF;
   color: #683E69;
   font-size: 100%;
   font-style: normal;
   text-align: left;
   margin-top: 5px;
   margin-bottom: 5px;
}

pre {
   font-family: monospace;
}

strong {
   font-weight: bold;
}

.bold {
   font-weight: bold;
}

.center {
   text-align: center;
}

.courier {
   font-family: "Courier New", Courier, mono;
}

.bold-center {
   font-weight: bold;
   text-align: center;
}

.dashed-box-1 {
   background-color: #DEF2D5;
   border-style: dashed;
   border-width: thin;
   padding: 15px 15px 15px 15px;
   margin: 10px 0px 30px 0px;
}

.hr { /* IE friendly <hr /> <div class="hr"></div> */
   clear: both;
   height: 1px;
   font-size: 0; /* Hack for IE */
   background: url(http://www.area-rug.info/images/dashed-line-1.gif) repeat-x;
   margin-top: 5px;
   margin-bottom: 5px;
}

.leader {
   font-size: 110%;
   font-weight: bold;
   text-transform: uppercase;
}

.left {
  text-align: left;
}

.right {
  text-align: right;
}

.table-background-1  {
   background-color: #FFFFFF;
}

.text-small-center {
   font-size: 9pt;
   text-align: center;
}

.text-small-left {
   font-size: 9pt;
   text-align: left;
}

.navbar {  /* so Javascript can simulate unvisited links */
   background-color: None;
   color: #0000FF;
   text-decoration: underline;
   cursor: pointer
}
