body {
    background-color : #f0fffd;
    font-family : Arial, Helvetica, sans-serif;
    font-size : medium;
    margin-left : 10%;
    margin-right : 15%;
  }


dt {
    font-size : larger;
    font-weight : bolder;
    margin-bottom : 0.3em;
    margin-top : 1em;
  }


dd {
    text-align : justify;
  }


.shortdesc {
    color : #989898;
    font-size : larger;
    font-style : italic;
  }

#page_footer {
    background-color : #f0f0fd;	
	height: 20px;
}