.php {  font-size: 9pt; font-weight: bold; color: #7898b7}
.php_list {  font-size: 9pt; color: #4E7396}
.text {  border: 1px #4E7396 solid}
.comment {  font-size: 9pt; font-weight: bold; color: #4E7396; padding-left: 10pt; border: 1px #424242 solid}
body {  }
textarea {  border: 1px #4E7396 solid}
.title {  font-size: 9pt; font-weight: bold; color: #4E7396}
.delete {  font-size: 9pt; color: #4E7396; padding-left: 10pt}
body 
{scrollbar-face-color: #FFFFFF; scrollbar-shadow-color: #4E7396; 
scrollbar-highlight-color: #4E7396; scrollbar-3dlight-color: #FFFFFF; 
scrollbar-darkshadow-color: #F4F9FD; scrollbar-track-color: #F4F9FD;
scrollbar-arrow-color: #4E7396}