$shade-verbatim-attr$

Name

$shade-verbatim-attr$ -- Attributes used to create a shaded verbatim environment.

Synopsis

($shade-verbatim-attr$)

Description

See %shade-verbatim%

Source Code

(define ($shade-verbatim-attr$)
  ;; Attributes used to create a shaded verbatim environment.
  (list
   (list "BORDER" "0")
   (list "BGCOLOR" "#E0E0E0")
   (list "WIDTH" ($table-width$))))