body { margin-left: 2%; margin-right: 2%; margin-top: 2%; margin-bottom: 2%; color: #1A2280; background: #FFF9ED; font-family: Tahoma, sans-serif; font-size: 90%; }

h1 { font-size: 150%; font-family: Tahoma, sans-serif; }
h2 { font-size: 120%; font-family: Tahoma, sans-serif; }
h3 { font-size: 100%; font-family: Tahoma, sans-serif; }
h4 { font-size: 90%; font-family: Tahoma, sans-serif; }
h5 { font-size: 100%; font-family: Tahoma, sans-serif; }

p { font-family: Arial, sans-serif; }
ul { font-family: Arial, sans-serif; }
em { font-style: italic; }
strong { font-weight: bold; }

pre { font-family: monospace; }

.example {
    color: black;
    border: none;
    padding: 0.5em;
    width: 100%;
    background-color: rgb(218, 210, 214); }

address { font-size: 60%; }


  :link { color: #12185B }  /* for unvisited links */
  :visited { color: #12185B } /* for visited links */
  a:active { color: #12185B } /* when link is clicked */
  a:hover { color: #5E8397 } /* when mouse is over link */

div.main { float: left; width: 100%; }

div.logo { float: left; width: 25%; padding: 0px 0px 0px 20px; }
div.aromaticstext { float: left; width: 47%; }
div.header { float: left; width: 17%; text-align: left; }

div.leftnav { float: left; background-color: #CCCCFF; padding: 0px 0px 0px 20px; width: 12%}

div.rightnav { float: left; text-align: center; width: 22%; }
div.rightnav_top { text-align: left; background-color: #CCCCFF; margin: 10px 10px 10px 10px; padding: 10px 10px 10px 10px;}
div.rightnav_bottom { text-align: center; border: solid; border-color: #CCCCFF; margin: 10px 10px 10px 10px; padding: 5px 5px 5px 5px;}
div.rightnav_bottom2 { text-align: left; border: solid; border-color: #CCCCFF; margin: 10px 10px 10px 10px; padding: 5px 5px 5px 5px;}

div.centre {  float: left; margin: 10px 10px 10px 10px; padding: 5px 5px 5px 5px; width: 55%}
div.centre1 {  float: left; padding: 5px 5px 5px 5px;}
div.centre2 {  float: left; padding: 5px 5px 5px 5px;}
div.centre3 {  float: left; padding: 5px 40px 5px 10px;}
