body { font-weight: 400; 
       font-size: 168%; 
       color: #000000; 
       line-height: 150%; 
       font-style: normal; 
       font-family: verdana,arial,sans-serif; 
       background-color: #ffffff; 
       text-decoration: none;
       background-image: url(background.gif);
       background-repeat: no-repeat;
}
p {    font-weight: 400; 
       color: #000000; 
       line-height: 100%; 
       font-style: normal; 
       font-family: 
       verdana,arial,sans-serif; 
       text-decoration: none;
}
a {    font-weight: normal; 
       font-size: 100%; 
       margin: 0em; 
       font-style: normal; 
       font-family: verdana, arial, sans-serif; 
       text-decoration: underline;
}
ul { 
       font-size: 75%;
       list-style: url(bullet1.gif);
       font-weight: normal;
} 

h1 {   padding-right: 0px; 
       padding-left: 0em; 
       padding-bottom: 0.5em; 
       padding-top: 0px; 
       font-weight: bold; 
       font-size: 150%; 
       line-height: 112%;
       
       border-bottom: rgb(0, 75%, 0) thick ridge; 
       font-style: normal; font-family: verdana, arial, sans-serif; text-align: right; text-decoration: none; line-hieight: 150%
}
h2 {
	font-weight: bold; font-size: 140%;  font-style: normal; font-family: verdana,arial,sans-serif
}
table {
	font-weight: normal; 
        font-style: normal; 
        font-family: verdana, arial, sans-serif; 
        color: black;
}
.bottom { font-size: 50%; 
          /* right: 0px; 
          left: 1em; 
          bottom: 0.3em; 
          position: absolute; */
          color: black;
}
.related { font-weight: normal;
           font-size: 80%; 
           color: #008800
}
.issue {
	color: #ffff00
}
.mycode { font-weight: normal;
         font-family: courier, monospace; 
         font-size: 75%; 
 }
 .code2 { font-weight: normal;
         font-family: courier, monospace; 
         font-size: 120%; 
 }

.example { font-weight: normal; font-size: 80%; 
}
.example1 {
	font-weight: normal; font-size: 100%;  font-style: normal; font-family: verdana, arial, sans-serif; text-decoration: none
}
.boldred {
     color: #FF0000;
     font-weight: bold;
}