<!--

body         { scrollbar-face-color: #4848c6; scrollbar-shadow-color: 000000; 
               scrollbar-highlight-color: 000000; scrollbar-3dlight-color: 
               blue; scrollbar-darkshadow-color: blue; scrollbar-track-color: 
               FFFFFF; scrollbar-arrow-color: FFFF00; font-family: Arial; 
               font-size: 10 pt; color: #4848c6; border-style: outset; 
               border-width: 1 }
body         { font-family: Arial; color: #4848c6; font-size: 10 pt }
-->