body { padding-left: 25%;
  	   padding-right: 25%;
	   font-family: Verdana, Aril, sans-serif; 
       color: #000000;
       size: 16px
       body-color: #FFFDDD
       background-color: #FFFDDD }
       
h1 { font-family: 'Rockwell', color: #000080; size: 20px; text-shadow: none; } /h1
h2 { font-family: 'Rockwell', color: #000000; size: 18px; } /h2
normal { font-family: 'Verdana', color: #800000; size: 16px; } /normal

a:link {
  color: #000080; 
   }
a:visited {
  color: purple; 
   }
a:hover {
    color: black;
    text-decoration: underline;
    }
                     
a.ex5:hover, a.ex5:active {text-decoration: underline;}
        .auto-style1 {text-decoration: none;}
        
.demopara {
	line-height: normal ;
}