%shade-verbatim%
If true, a table with ($shade-verbatim-attr$) attributes will be wrapped around each verbatim environment. This gives the effect of a shaded verbatim environment.
(define %shade-verbatim% ;; Should verbatim environments be shaded? #f)