body, a, p, h1, h2, h3, h4, div, table, tr, td, img {
  margin: 0;
  padding: 0;
  border: 0;
  font-family: sans-serif;
  color: #000000;
  font-size: 12pt;
  line-height: 150%;
}
#container1 {
  padding: 7px;
}
body {
  background-color: #ffffff;
}
table, tr, td {
  border: 0;
  border-collapse: collapse;
  border-width: 0;
  border-spacing: 0;
  vertical-align: top;
}
img {
  border: 1px solid #000000;
}
a {
  text-decoration: underline;
  color: #7c0014;
}
p {
  padding-top: 6px;
  padding-bottom: 6px;
}
h1, h2 {
  padding-top: 36px;
  padding-bottom: 24px;
}
h1 {
  font-size: 16pt;
  color: #7c0014; 
}
h2 {
  font-size: 16pt;
  color: #7c0014;
}
h3, h4 {
  padding-top: 12px;
  padding-bottom: 8px;
}
h3 {
  font-size: 14pt;
  color: #000000;
}
h4 {
  font-size: 14pt;
  color: #000000;
}
h1.first_byline, h1.first, h2.first_byline, h2.first, h3.first, h4.first {
  padding-top: 0;
}
h1.first_byline, h2.first_byline {
  padding-bottom: 6px;
}
p.byline {
  padding-bottom: 24px;
  padding-left: 30px
}
#topnav {
  width: 760px;
  height: 71px;
  background: url('http://test.semantilog.org/images/logo-long.png'); 
}
#topnav ul, #topnav li {
  margin: 0;
  padding: 0;
  border: 0;
}
  
#topnav ul {
  list-style: none;
  padding-left: 7px;
  padding-top: 56px;
}
#topnav li {
  padding-right: 7px;
  float: left;
}
#topnav li.left {
  padding-left: 0px;
}
#topnav li a {
  font-weight: bold;
  text-decoration: none;
  color: #002f58;
}
#topnav li a:hover {
  color: #7c0014;
}
#mymain, #footerx {
  width: 736px;
  padding-left: 7px;
}
#mymain {
  padding-top: 24px;
  padding-bottom: 24px;
}
#footerx {
  border-top: solid 3px;
  border-color: #7c0014;
}
#footerx p {
  text-align: right;
  color: #002f58;
}
span.emph {
  color: #7c0014;
  font-weight: bold;
}
table.main td.left {
  padding-right: 7px;
}
table.main td.right {
  padding-left: 7px;
}
table.enumeration, table.subenumeration {
  vertical-align: top;
}
table.enumeration td {
  padding-left: 7px;
  padding-bottom: 12px;
}
table.subenumeration td {
  padding-left: 7px;
  padding-top: 6px;
}
table.enumeration td.number, table.subenumeration td.number {
  text-align: right;
}
table.enumeration td.text, table.subenumeration td.text {
  text-align: left;
}