[sphinx.html_themes]
sphinx_rijkshuisstijl_2008 = sphinx_rijkshuisstijl_2008
