.normal { color: white; font-family: helvetica; line-height: 150%; text-align: justify }
.norm { color: white; font-family: helvetica; line-height: 150% }
.tool { color: white; font-family: helvetica }

.special {text-decoration: none; font-family: verdana }

.toolborder { border-width: thin; border-color: maroon }
.toolbottom { border-left-width: thin; border-color: maroon; border-right-width: thin; border-bottom-width: thin }
.toolborder2 { border-color: maroon; border-bottom-width: thin; }
.toolborder3 { border-color: maroon; border-left-width: thin; }
.toolborder4 { border-color: maroon; border-bottom-width: thin; border-right-width: thin; border-top-width: thin }

.disp { display:none }
