.text {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 11px;
}
a.external:link, a.external:visited {
    COLOR: #ffffff;
    font: oblique;
    text-decoration: underline;
    weight:bold; cursor:help;
}
a.machinelnk:link, a.machinelnk:visited {
    COLOR: #003A99;
    text-decoration: none;
    cursor:pointer;
    font: normal; font-stretch: narrower; text-indent: 20px;
}

a {
		color: #003A99 ;
}

a:hover {
		font-weight:bold;
		font-style:italic;
}
p.machinehead {
		font: bold; font:large;  text-align: center; color: blue;
}
p.machinename {
		font: normal; font-stretch: narrower; text-indent: 20px;color: #003A99 ;
}

p.pictext {
}
.MAIN {
font:20;
COLOR:blue;
font-family:Arial;
text-align: center;
}