On Sun, 1 Jan 2012, Warren Block wrote: > Feedback welcome on some proposed modifications to the default DocBook CSS > (/usr/doc/share/misc/docbook.css). Committed on January 6. Thanks to everyone who responded!