html, body {
   background-color: white;
   color: black;
   margin-left: 12pt ; 
   margin-right:12pt

}

p
{
line-height: 2.0 ; 
}

li
{
line-height: 1.5 ;
margin-left: 12pt ; 
margin-right:24pt
}

h1
{
font-size: 150%;
}


img.logo
{
padding-left : 10pt;
padding-right: 10pt;
vertical-align: middle
}

div.code
{
font-family: monospace;
background-color: white;
color: black; 
white-space: pre;
}
span.code
{
font-family: monospace; 
background-color: white;
color: black; 
}


div.comment
{
background-color: white;
color: black; 
font-style: italic ; 
padding-top: 18pt; 
padding-bottom: 18pt; 
margin-left : 18pt;
}


fieldset.invoke
{
padding: 9pt 36pt 9pt 36pt;
margin-left: auto;
margin-right: auto;
border-style: none;
font-size: larger;
line-height: 2;
color: black;
background-color : rgb(240, 240, 240);
width : 80%
}

legend
{
background-color: rgb(120,120, 120);
color: white;
font-weight: bold;
padding-top: 6pt; 
padding-bottom: 6pt; 
padding-left: 12pt;
padding-right: 12pt;
}