summaryrefslogtreecommitdiffstats
path: root/common/sphinx_rtd_theme_rtems/static/css/badge_only.css (unfollow)
Commit message (Collapse)AuthorFilesLines
2024-02-21sphinx: Use the pip installed sphinx-rtd-themeChris Johns1-1/+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
2020-02-26Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/Amar Takhar1-2/+1
68a19ca / 0.4.3.dev0. I have been using this one for a while without issues. This should fix the search issues. closes #3880
2016-05-02Add support for singlehtml (inlined) HTML file, plus some other fixes.Amar Takhar1-0/+0
* 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.