From 98451835274168ccfeb04b82d6e65dfebcec8fb6 Mon Sep 17 00:00:00 2001 From: Amar Takhar Date: Sat, 22 Feb 2020 19:32:07 -0500 Subject: 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 --- .../static/css/fonts/lato-bold-italic.woff | Bin 0 -> 323344 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 common/sphinx_rtd_theme_rtems/static/css/fonts/lato-bold-italic.woff (limited to 'common/sphinx_rtd_theme_rtems/static/css/fonts/lato-bold-italic.woff') diff --git a/common/sphinx_rtd_theme_rtems/static/css/fonts/lato-bold-italic.woff b/common/sphinx_rtd_theme_rtems/static/css/fonts/lato-bold-italic.woff new file mode 100644 index 0000000..88ad05b Binary files /dev/null and b/common/sphinx_rtd_theme_rtems/static/css/fonts/lato-bold-italic.woff differ -- cgit v1.2.3