.stilo2 {  border: #CC0000; border-style: dotted; border-top-width: thin; border-right-width: thin; border-bottom-width: thin; border-left-width: thin; background-color: #FFFFFF}
.stilo {  font-family: Terminal; font-size: 18px; font-style: normal; text-decoration: underline}
.stilo3 {  text-decoration: underline}
.stilo4 {  border: thin #CCCCCC dashed}