.rightred {  background-image: url(images/rred.gif); background-repeat: repeat; background-position: right}
.menutext {  font-family: Arial, Helvetica, sans-serif; font-size: 10px}
.menuhigh {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; font-weight: bold}
.rightgrn {  background-image: url(images/rgrn.gif); background-repeat: repeat; background-position: right}