add screen shots
edit cgi/typeset.py