# navy.style # This File is part of highlight, a universal source code converter. # See README in the highlight directory for documentation. $DEFAULTCOLOUR=#008bff $BGCOLOUR=#000035 $FONTSIZE=10 $KW-GROUP(kwa)=#f8c50b bold $KW-GROUP(kwb)=#e1e72f $KW-GROUP(kwc)=#13d8ef $KW-GROUP(kwd)=#ffffff $NUMBER=#f87ff4 $ESCAPECHAR=#66f5ff $STRING=#ff7f66 $STRING-DIRECTIVE=#ffffff $COMMENT=#ffbb00 italic $DIRECTIVE=#bb00ff $LINE=#888888 $SYMBOL=#ffffff $MARK-LINE=#30445a