a  { color: gray; font-style: normal; font-weight: bolder; font-size: 18pt; font-family: "Times New Roman", Georgia, Times; text-decoration: none }
body { background-image: url(back-long.gif) }