shimizukawa 9d0ce7a6c1 Fixes #1884: plug-in html themes cannot inherit another plug-in theme ...

Closes #1885: A part of code for this fix is from pull requeest #1885.
refs #1794

2015-11-22 00:13:42 +09:00

..

base_themes_dir

Fixes #1884: plug-in html themes cannot inherit another plug-in theme

2015-11-22 00:13:42 +09:00

conf.py

Fixes #1884: plug-in html themes cannot inherit another plug-in theme

2015-11-22 00:13:42 +09:00

index.rst

Fixes #1884: plug-in html themes cannot inherit another plug-in theme

2015-11-22 00:13:42 +09:00