本頁は姫踊子草と直接関係のないお話。本書は各頁の末尾にありますとおり、Sphinxというツールで生成しております。sphinx_html_basic_themeによってHTML5+CSS3化を達成しました。Sphinxのほうにバグがあるため、自力でSphinxをビルドできる方でないとhtml5_basicテーマしかまだ使えません。zipを展開してそのフォルダをconf.pyのhtml_theme_pathで指定しておけば使えると思います。探したい単語に続けてEnterキーを入力するか、隣のボタンをクリックすると本書内を検索します。