This theme is based on the default 'haiku' theme from Sphinx.
Modified by Anders Logg for the FEniCS Project web pages, 2011.
