webkit.py: python spacings