Searched defs:style_id (Results 1 – 1 of 1) sorted by relevance
89 style_id = "" variable in AnsiColorTheme117 style_id = Color.blue+Color.bold variable in DefaultTheme141 style_id = Color.yellow+Color.bold variable in BrightTheme163 style_id = Color.green+Color.bold variable in RastaTheme187 style_id = Color.green variable in ColorOnBlackTheme