summaryrefslogtreecommitdiffstats
path: root/common/sphinx_rtd_theme_rtems/theme.conf (follow)
Commit message (Collapse)AuthorAgeFilesLines
* sphinx: Use the pip installed sphinx-rtd-themeChris Johns2024-02-211-18/+0
| | | | | | | | | | | | - Remove the RTEMS version of the theme - Use conf.py to specify our style sheet - Depend on the jQuery contrib package for including jQuery - Detect the theme is installed Closes #4994
* Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/Amar Takhar2020-02-261-5/+10
| | | | | | | | | 68a19ca / 0.4.3.dev0. I have been using this one for a while without issues. This should fix the search issues. closes #3880
* Add my-style.css support and add RTEMS to that CSS.Chris Johns2016-05-021-1/+3
|
* Add support for singlehtml (inlined) HTML file, plus some other fixes.Amar Takhar2016-05-021-0/+11
* This is still broken. * Rename sphinx_rtd_theme so it doesn't pickup locally installed ones * Add a hack to theme.css to get around inliner bug. * Some unrelated fixups in common/waf.py Unfortunatly several dozen fixes got merged into this.