rtems/rtems-docs
1
0
Fork 0
mirror of https://git.rtems.org/rtems-docs/ synced 2025-05-15 07:07:19 +08:00
Code Issues Packages Projects Releases Wiki Activity
rtems-docs/common/sphinx_rtd_theme_rtems/static/css
History
Amar Takhar 9845183527 Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/ 
68a19ca / 0.4.3.dev0. I have been using this one for a while without
issues.

This should fix the search issues.

closes #3880
2020-02-26 00:09:17 -05:00
..
fonts
Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/
2020-02-26 00:09:17 -05:00
badge_only.css
Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/
2020-02-26 00:09:17 -05:00
theme.css
Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/
2020-02-26 00:09:17 -05:00