-
-(defcustom gnus-server-agent-face 'gnus-server-agent-face
- "Face name to use on AGENTIZED servers."
- :group 'gnus-server-visual
- :type 'face)
-
-(defcustom gnus-server-opened-face 'gnus-server-opened-face
- "Face name to use on OPENED servers."
- :group 'gnus-server-visual
- :type 'face)
-
-(defcustom gnus-server-closed-face 'gnus-server-closed-face
- "Face name to use on CLOSED servers."
- :group 'gnus-server-visual
- :type 'face)
-
-(defcustom gnus-server-denied-face 'gnus-serv