@getzze commented on this pull request.
@@ -129,14 +129,15 @@ comment_line_doc=comment_doc
comment_doc_keyword=comment_doc,bold comment_doc_keyword_error=comment_doc,italic
-number=0x007f00 +number=0x808000
ok, then I can create a `number_3` color for julia numbers.