body     { font-size: x-small; font-family: Arial, Helvetica, Geneva, sans-serif }
.secttitles { color: #900; font-size: x-small; font-family: Arial, Helvetica, Geneva, sans-serif; font-weight: bold }
p    { font-size: x-small; font-family: Arial, Helvetica, Geneva, sans-serif }
.pred { color: red; font-size: x-small; font-family: Arial, Helvetica, Geneva, sans-serif }
td   { font-size: x-small; font-family: Arial, Helvetica, Geneva, sans-serif }
.subtitles    { color: #900; font-size: large; font-family: Arial, Helvetica, Geneva, sans-serif; font-weight: bold }
ul     { font-size: x-small; font-family: Arial, Helvetica, Geneva, sans-serif; list-style-image: url("images/star.gif"); margin: 1em 0 1em 40px }
.title   { color: #900; font-size: x-large; font-family: Georgia, "Times New Roman", Times, serif; font-weight: bold }
.prices  { font-size: small; font-family: Arial, Helvetica, Geneva, sans-serif }
.content  { font-size: x-small; font-family: Arial, Helvetica, Geneva, sans-serif }
.dl    { font-size: x-small; font-family: Arial, Helvetica, Geneva, sans-serif; line-height: 140% }
.dl1 /* for table of contents */   { font-size: x-small; font-family: Arial, Helvetica, Geneva, sans-serif; line-height: 200% }