.style3 {font-size: medium; color: #527D8C; font-family: "Courier New", Courier, mono; }