Steve Holden wrote: > All formats would be improved of the headers could be made to float at > the top of the page as scrolling took place.
Can this be done in CSS? If so, contributions are welcome. If not, can somebody prepare a modified page with the necessary changes (preferably only additional classes for the header or some such); I can then try to edit buildbot to add these changes into the page. Regards, Martin _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
