update of documentation

using the new show_margin options; in the hopes that one day this will
make a png image.