list = open(filename, 'w')
else:
list = sys.stdout
- list.write ('<html><title>Rendered Examples</title>\n')
+ list.write ('<html><head><title>Rendered Examples</title>\n')
+ list.write ('<style type="text/css">\n')
+ list.write ('hr { border:0; height:1; color: #000000; background-color: #000000; }\n')
+ list.write ('</style></head>\n')
+
list.write ('<body bgcolor=white>\n')
if inputs:
break
list_item(f, 'See a picture of page %d' % pageno, 'png')
list_item(base + '.pdf', 'Print', 'PDF')
- list_item(base + '.ps.gz', 'Print', 'gzipped PostScript')
list_item(base + '.midi', 'Listen', 'MIDI')
list.write ("</ul>\n");