@import url(/web/20121206200311cs_/http://www.python.org/styles/styles.css);