Joint document production server for the World Wide Web