# jedit - style
# This File is part of highlight, a universal source code converter.
# See README in the highlight directory for documentation.

$DEFAULTCOLOUR=#000000
$BGCOLOUR=#ffffff
$FONTSIZE=10
$KW-GROUP(kwa)=#009966 bold
$KW-GROUP(kwb)=#009966 bold
$KW-GROUP(kwc)=#0099ff
$KW-GROUP(kwd)=#9966ff 
$NUMBER=#ff0000
$ESCAPECHAR=#ff00ff
$STRING=#ff00cc
$STRING-DIRECTIVE=#818100
$COMMENT=#cc0000
$DIRECTIVE=#0000ff
$LINE=#555555
$SYMBOL=#000000 bold
$MARK-LINE=#ffffbb
