I want to change the face of 'Paren Highlighting' but I don't find the
entry in the 'Customize Faces' buffer to do this. I have searched
thoroughly but I cannot find it. Can anyone, please, tell me where is
that entry ?
By the way, I tried 'Paren Face Match', 'Paren Face Mismatch', 'Paren
Face No Match', but without luck.
Thanks in advance.