/cvsroot/dejagnu/dejagnu/doc/overview/stylesheet-images