/* default rules for the whole document */
body {
    font-size: 14pt;
    font-family: Arial, Helvetica, sans-serif;
    font-weight: normal;
    font-style: normal;
    color:#000080;
    background-color: white;
    line-height: 1.2em;
    margin-left: 4em;
    margin-right: 2em;
   }

/* paragraphs */
p  {
    font-size:14pt;
    font-family: Arial, Helvetica, sans-serif;
    color:#000000;
    padding:0;
    margin-top:1em;
    margin-bottom:1em;
    text-align:left;
   }

/* headings */
h1 {
    font-size: 130%;
    font-family: Arial, Helvetica, sans-serif;
    font-weight: bold;
    font-style: normal;
    padding: 0;
    margin-top: 1.3em;
    margin-bottom: 1.1em;
   }
h2 {
    font-size: 150%;
    font-family: Arial, Helvetica, sans-serif;
    font-weight: normal;
    font-style: normal;
    padding: 0;
    margin-top: 0em;
    margin-bottom: 0em;
   }
/* first bullet list */
h3 {
    font-size: 100%;
    font-family: Arial, Helvetica, sans-serif;
    font-weight: normal;
    font-style: normal;
    color:#000000;
    padding: 0;
    margin-top: 0em;
    margin-bottom: .5em;
   }
/* second bullet list */
h4 {
    font-size: 90%;
    font-family: Arial, Helvetica, sans-serif;
    font-weight: normal;
    font-style: normal;
    color:#000080;
    padding: 0px;
    margin-top: 0em;
    margin-bottom: 0em;
   }
h5 {
    font-size: 100%;
    font-family: Arial, Helvetica, sans-serif;
    font-weight: normal;
    font-style: normal;
    color:#000000;
    padding: 0;
    margin-top: 0em;
    margin-bottom: 0em;
   }
h6 {
    font-size: 100%;
    font-family: Arial, Helvetica, sans-serif;
    font-weight: normal;
    font-style: italic;
    padding: 0;
    margin-top: 1em;
    margin-bottom: 1em;
   }

/* divisions */
div {
    padding: 0;
    margin-top: 0em;
    margin-bottom: 0em;
   }

/* lists */
dl {
    padding: 0;
    margin-top: 1em;
    margin-bottom: 1em;
    margin-left: 1em;
   }
dl dl {
    margin-top: 0em;
    margin-bottom: 0em;
   }
dt {
    padding: 0;
    font-weight: bold;
    margin-top: .3em;
    margin-bottom: .3em;
   }
dd {
    padding: 0;
    margin-top: .3em;
    margin-left: 3em;
    margin-bottom: .3em;
   }
dl p {
    margin-top: .3em;
    margin-bottom: .3em;
   }

/* inline */
strong {
    font-weight: bold;
   }
em {
    font-style: italic;
   }
code {
    font-family: Courier New, Courier, monospace;
   }
ins {
    background-color: yellow;
    text-decoration: underline;
   }
del {
    text-decoration: line-through;
   }

/* anchors */
a[href] {
    color: blue;
    text-decoration: underline;
   }

/* end */