html {
color:black;
font-family: Verdana, sans-serif;
margin:-6px 0 0 0;
padding:0 0 0 0;
line-height: 30%;}
a:link {background-color:#B2FF99;}
a:visited {background-color:#FFFF85;}
a:hover {background-color:#FF704D;}
a:active {background-color:#FF704D;}
a,h1,h2,h3,h4,h5,h6 {
color:blue;}
h1 {text-align:center;}
div.header {
background-color:#99bbbb;
width:100%;
line-height: 15%;
float:left;
margin:0 0 0 0;
padding:0 0 0 0;}
table.header {
width:98%;
font-size:70%;}
div.parameter {
background-color:#EEEEEE;
width:100%;
line-height: 15%;
float:left;}
table.parameters {
border:1px solid teal;
cellspacing:1px;
width:95%;
table-layout:fixed;
empty-cells: show;
border-collapse:collapse;
table-align:center;}
table.parameters th, table.parameters td {
border:1px solid #999;}
div.comment {
background-color:#ffff99;
width:100%;
line-height: 35%;
float:left;}
div.logic {
width:100%;
line-height: 35%;
float:left;}
table.logic {width:100%;}
td.logic {
word-break:break-all;
overflow:hidden;}
div.funcall {
background-color:#ffff99;
width:100%;
line-height: 35%;
float:left;
}
table.funcall {
border:1px;
width:95%;
}
div.footer {
line-height: 35%;
float:right;
}
p {
text-indent: 2.5%;
line-height: 110%;
}