#code {
     color: #000000;
      background-color: #ffffff;
      font-size: 16pt;
       font-weight: bolder;
}
      .comment {
        /* font-lock-comment-face */
        color: #0000ff;
      }
      .function-name {
        /* font-lock-function-name-face */
        color: #ff0000;
      }
      .jde-java-font-lock-modifier {
        /* jde-java-font-lock-modifier-face */
        color: #da70d6;
      }
      .keyword {
        /* font-lock-keyword-face */
        color: #ff0000;
      }
      .type {
        /* font-lock-type-face */
        color: #4682b4;
      }
      .variable-name {
        /* font-lock-variable-name-face */
        color: #8b008b;
      }