body, table, tr, td { font-size:14px; font-family:Arial, Helvetica, sans-serif; color:#333; line-height:150%; }
h1 { font-family:"Times New Roman", Times, serif; color:#c00; font-weight:normal; font-style:italic; }
.caption { font-size:12px;  font-family:Arial, Helvetica, sans-serif; text-align:center; }
.abstract { font-family:"Times New Roman", Times, serif; font-style:italic; background-color:#eee; padding:10px; margin:0px; }
.navbar {padding:16px; margin:0px; background-color:#cde; font-size:18px; font-style:italic; font-family:"Times New Roman", Times, serif;}
hr { color:#abc; background-color:#abc; height:2px; border-top:1px solid #abc; border-bottom: 1px solid #abc; }
p { padding-top:16px; padding-bottom:10px; padding-left:0px; padding-right:0px; margin:0px; }
.green { color:#090; font-weight:bold; }
code { font-weight:bold; }