a img {border: none}

code {
  color:            #00008B;
}

dt {
  color:            #00008B;
  font-family:      Courier New, Courier, monospace;
  font-size:        1.7ex;
  font-weight:      bold;
}

dd {
  margin-bottom:    10px;
}

pre {
  font-family:      Courier New, Courier, monospace;
  font-size:        1.7ex;
  line-height:      105%;
}

div {
  font-family:      Times New Roman, Times, serif;
  font-size:        2ex;
  font-weight:      normal;
  text-align:       left;
}

.Bulleted {
  list-style-type:      disc;
  list-style-position:  outside;
}

.MainTitle {
  color:            #000000;
  text-align:       center;
  font-size:        3.5ex;
}

.Copyright {
  color:            #000000;
  text-align:       center;
}

.SectionTitle {
  color:            #008080;
  font-size:        3ex;
}

.SectionLink {
  color:            #008080;
  font-weight:      bold;
  text-decoration:  none;
}

.ParagraphTitle {
  color:            #000000;
  font-size:        1.5ex;
  font-weight:      bold;
}

.RegOnly {
  color:            #C8006C;
  font-size:        1.5ex;
  text-decoration:  none;
}

.FileName {
  font-family:      Courier New, Courier, monospace;
  font-size:        1.75ex;
  color:            #4682B4;
  font-weight:      bold;
}

.NavPanel {
  color:            #4C588D;
  font-weight:      bold;
}
.NavPanel a:link    {color: #4C588D;}
.NavPanel a:visited {color: #8D94B3;}
.NavPanel a:hover   {color: #9FAEF1;}
.NavPanel a:active  {color: #A4C6D8;}

.ExtLink {
  color:            #BA55D3;
  text-decoration:  none;
}

.IntLink {
  color:            #008080;
  text-decoration:  none;
}

.Short {
  line-height:      1.5ex;
}

.Var {
  font-family:      Courier New, Courier, monospace;
  color:            #C71585;
  font-size:        1.85ex;
  text-decoration:  none;
}

.Note {
  color:            #0000FF;
  font-weight:      bold;
}

.Comment {
  color:            #0000FF;
}

.Symbol {
  color:            #DC143C;
}

.CritTitle {
  font-weight:      bold;
}

.CritLink {
  font-family:      Courier New, Courier, monospace;
  color:            #4C588D;
  font-weight:      bold;
  text-decoration:  none;
}

.FunctionLink {
  font-family:      Courier New, Courier, monospace;
  font-size:        .95em;
  color:            #FF7380;
  font-weight:      bold;
  text-decoration:  none;
}

.Important {
  color:            #FF0000;
  font-weight:      bold;
  text-decoration:  underline;
}

.TM {
  vertical-align:   top;
  font-size:        .5em;
}