@ -10,8 +10,8 @@ print("""
; ; Highlighting faces
` ( fringe ( ( , class ( : background " {bg} " ) ) ) )
` ( highlight ( ( , class ( : background " {bg} " : underline t ) ) ) )
` ( region ( ( t ( : background , " {blue} " ) )
( t : inverse - video t ) ) )
; ; background during selection , this tends to be weird so feel free to experiment
` ( region ( ( t ( : background " {bright_black} " : foreground " {bright_white} " ) ) ) )
` ( secondary - selection ( ( , class ( : background " {bg} " ) ) ) )
` ( isearch ( ( , class ( : background " {bg} " : foreground " {blue} " : weight bold ) ) ) )
` ( isearch - fail ( ( t ( : foreground " {fg} " : background " {red} " ) ) ) )
@ -30,7 +30,7 @@ print("""
` ( font - lock - function - name - face ( ( , class ( : foreground " {cyan} " ) ) ) )
` ( font - lock - keyword - face ( ( , class ( : foreground " {bright_red} " : weight bold ) ) ) )
` ( font - lock - string - face ( ( , class ( : foreground " {green} " ) ) ) )
` ( font - lock - type - face ( ( , class ( : foreground " { yellow}" : weight bold ) ) ) )
` ( font - lock - type - face ( ( , class ( : foreground " { bright_ yellow}" : weight bold ) ) ) )
` ( font - lock - variable - name - face ( ( , class ( : foreground " {white} " ) ) ) )
` ( font - lock - warning - face ( ( , class ( : foreground " {red} " : weight bold ) ) ) )
; ; Button and link faces
@ -91,4 +91,4 @@ print("""
` ( message - separator ( ( , class ( : foreground " {white} " : weight bold ) ) ) ) ) )
( provide - theme ' {theme_name} )
""" .format(theme_name= " anmol-test " ,bg= " #100f1f " , fg= " # e0e892 " , black= " #212125 " , red= " # bc2a2a " , green= " #3eca3e " , yellow= " #dcdc0f " , blue= " #6d6df3 " , magenta= " #d068d0 " , cyan= " #0 d cbcb" , white= " #e2e2e2 " , bright_black= " #80776f " , bright_red= " # bc2121 " , bright_green= " #3eca3e " , bright_yellow= " #dcdc00 " , bright_blue= " #915bf3 " , bright_magenta= " #d040d0 " , bright_cyan= " # 00cbcb " , bright_white= " #f5f5f5 " ))
""" .format(theme_name= " anmol-test " ,bg= " #100f1f " , fg= " # fcffdc " , black= " #212125 " , red= " # c24949 " , green= " #3eca3e " , yellow= " #dcdc0f " , blue= " #6d6df3 " , magenta= " #d068d0 " , cyan= " #0 0 cbcb" , white= " #e2e2e2 " , bright_black= " #80776f " , bright_red= " # c25959 " , bright_green= " #3eca3e " , bright_yellow= " #dcdc00 " , bright_blue= " #915bf3 " , bright_magenta= " #d040d0 " , bright_cyan= " # 78dada " , bright_white= " #f5f5f5 " ))