webkit.py: python spacings2