All my docs were printing out wrong: the content would be too high on the page, cutting off the running header and sometimes the first line or so of text. I learned how to hack around the DSSSL stylesheets to adjust the top margin, but that only changed the space between the running headers and the body text. Turns out it was a bug in the dvi to PostScript conversion. So, instead of letting docbook2ps handle the docbook->DVI->ps conversion, I run it manually and use the -t “letter” option, and it works right. Sweet.