<style type="text/css">
<!--
  BODY               { color: #000000; background-color: #ffffff;  } /* default */
  span.constant      { color: #5f9ea0;                             } /* font-lock-constant-face */
  span.keyword       { color: #0000ff;                             } /* font-lock-keyword-face */
  span.function-name { color: #0000ff;                             } /* font-lock-function-name-face */
  span.comment       { color: #ff0000;                             } /* font-lock-comment-face */
  span.string        { color: #008b00;                             } /* font-lock-string-face */
  span.variable-name { color: #a52a2a;                             } /* font-lock-variable-name-face */
  span.type          { color: #0000ff;                             } /* font-lock-type-face */
  span.builtin       { color: #da70d6;                             } /* font-lock-builtin-face */
  span.warning       { color: #ff0000; font-weight: bold;          } /* font-lock-warning-face */

 -->
</style>
