Searched refs:style_layer_name (Results 1 – 1 of 1) sorted by relevance
91 style_layer_name = "" variable in AnsiColorTheme119 style_layer_name = Color.red+Color.bold variable in DefaultTheme142 style_layer_name = Color.red+Color.bold variable in BrightTheme165 style_layer_name = Color.red+Color.bold variable in RastaTheme189 style_layer_name = Color.yellow+Color.bold variable in ColorOnBlackTheme219 style_layer_name = r"\textcolor{red}{\bf %s}" variable in LatexTheme238 style_layer_name = r"@`@textcolor@[@red@]@@[@@`@bfseries@[@@]@%s@]@" variable in LatexTheme2257 style_layer_name = "<span class=layer_name>%s</span>" variable in HTMLTheme275 style_layer_name = "#[#span class=layer_name#]#%s#[#/span#]#" variable in HTMLTheme2