dejagnu/doc/overview/stylesheet-images
