body {
	margin-left: 0px;
	margin-top: 0px;
	margin-bottom: 5px;
	margin-right: 0px;
	background: #FFFFFF;	
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11pt;
}

a {
    color: #003366;
    text-decoration : none;
}
                                                                                                                                                   
a:hover {
    color: #880000;
}

input {
        border: #003366 solid 1px;
        background-color: white;
        font-family: monospace;
        font-size: 10pt;
}

div.engine
{
	display: none;
}