noscript p {
  color: Red;
  border: 3px double Red;
  padding: 5px;
  font-weight: bold;
  margin-top: 5px;
  margin-bottom: 15px;
  display: block;
}
h1, h2, h3, h4, h5, h6, th, dt {
  color: #082658;
  font-weight: bold;
}
h1, h2, h3, h4, h5, h6 {
 font-family:Arial, Helvetica, sans-serif;
}
h2, h3, h4, h5, h6 {
  margin-top: 15px;
}
h1 {
  border-bottom: 3px double #082658;
  margin-top: 0px;
  font-size: 14px;
}
h2 {
  border-bottom: 1px solid #082658;
  font-size: 12px;
}
h3, h4, h5, h6 {
  border-bottom: 1px dashed #082658;
  font-size: 10px;
}


pre {
  font-size: 12px;
}