subtitle fix

This commit is contained in:
gferg 2002-05-21 14:14:11 +00:00
parent 29c5b1fedf
commit 20138fdb81
1 changed files with 4 additions and 0 deletions

View File

@ -247,6 +247,10 @@
(node-list-first titles))))
(mode subtitle-mode
(element subtitle ""))
;; Redefinition of $verbatim-display$
;; Origin: dbverb.dsl
;; Different foreground and background colors for verbatim elements