github;pagesはアンダースコアから始まるディレクトリを無視するらしく、sphinxが生成する_staticディレクトリの中のcss, jsファイルが参照できずに404になってしまう。一体どうしたものかと調べたら、それ用のsphinxのエクステンションがあった。 michaeljo…