#687: use local css file instead of CDN