Migrate the sphinx CSS

Simple migration of Sphinx theme files.