widget-documentation-face

widget-documentation-face is a variable defined in `wid-edit.el'.
Its value is
widget-documentation


Documentation:
Face used for documentation strings in widgets.
This exists as a variable so it can be set locally in certain buffers.