Minor updates to the style sheet to support menus.
Add Lea and company's awesome reading on debugging, now coming to
you in sparkling new DocBook!