.php {  font-size: 9pt; font-weight: bold; color: #666666}
.php_list {  font-size: 9pt; color: #424242}
.text {  border: 1px #424242 solid}
.comment {  font-size: 9pt; font-weight: bold; color: #424242; padding-left: 10pt; border: 1px #424242 solid}
body {  }
textarea {  border: 1px #424242 solid}
.title {  font-size: 9pt; font-weight: bold; color: #FFFFFF}
.delete {  font-size: 9pt; color: #424242; padding-left: 10pt}
body 
{scrollbar-face-color: #FFFFFF; scrollbar-shadow-color: #424242; 
scrollbar-highlight-color: #424242; scrollbar-3dlight-color: #FFFFFF; 
scrollbar-darkshadow-color: #EFEFEF; scrollbar-track-color: #EFEFEF;
scrollbar-arrow-color: #424242}
.line {  border: #424242; border-style: solid; border-top-width: 1px; border-right-width: 0px; border-bottom-width: 1px; border-left-width: 0px}