function menu() {
document.write ("<style>\r\n");
document.write ("A:hover \r\n");
document.write ("{ font-family: georgia,georgia,georgia; \r\n");
document.write ("font-size: 12pt; \r\n");
document.write ("font-weight: bold; \r\n");
document.write ("color: #ffffff; \r\n");
document.write ("text-decoration: bold; \r\n");
document.write ("background-color:  #000000\r\n");
document.write ("} \r\n");
document.write ("A \r\n");
document.write ("{ font-family: georgia,georgia,georgia; \r\n");
document.write ("font-size:12pt; \r\n");
document.write ("font-weight:bold; \r\n");
document.write ("color: #ff0000; \r\n");
document.write ("text-decoration: none \r\n");
document.write ("} \r\n");
document.write ("BODY { color:#ff0000; } \r\n");

document.write ("</style>\r\n");
}