{color:#0000a0;font-family:times}
pre {font-size:large;color:#0000a0;font-family:arial}