body {
font-family: tahoma;
font-size: 10pt;
color: #000000;
}

p {
text-align: justify;
margin: 5px;
}

h1 {
font-size: 16pt;
text-align: left;
}

img.tux {
float: left;
margin-right: 5px;
}

font.pre {
font-family: monospace;
font-size: 10pt;
}

div.code {
background-color: #f7f7f7;
border-style: solid;
border-color: #cfe0f4;
border-width: 1px;
overflow: auto;
padding: 5px;
/*white-space: pre;*/
font-family: monospace;
font-size: 10pt;
}

div.info {
/*background-color: yellow;*/
border-style: solid;
border-color: #cfe0f4;
border-width: 1px;
overflow: auto;
padding: 5px;
}

p.copy {
text-align: right;
margin-top: 3px;
}

p.style {
text-align: right;
}

a:link {
color: #000080;
text-decoration: underline;
font-size: 10pt;
}

a:visited {
color: #000080;
text-decoration: underline;
font-size: 10pt;
}

a:active {
color: #143666;
text-decoration: none;
font-size: 10pt;
}

a:hover {
color: #143666;
text-decoration: none;
font-size: 10pt;
}

table {
padding: 0px;
border: 0px;
border-style: solid;
}

table.text td {
border: 1px;
padding: 3px;
margin-bottom: 10px;
border-style: solid;
border-color: #cfe0f4;
}