http://pbpython.com/theme/css/friendly.css