.t {  font-family: "Times New Roman", Times, serif; color: #000000; text-align: justify}
.h {  font-family: "Times New Roman", Times, serif; color: #0066CC; text-decoration: none}
.examples {  font-family: "Courier New", Courier, mono}
.ps {  font-family: "Times New Roman", Times, serif; font-style: italic; color: #000000; font-size: 16px; text-decoration: none}