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/Roboto-Slab-Regular.woff2 | Bin 0 -> 66444 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 common/sphinx_rtd_theme_rtems/static/css/fonts/Roboto-Slab-Regular.woff2 (limited to 'common/sphinx_rtd_theme_rtems/static/css/fonts/Roboto-Slab-Regular.woff2') diff --git a/common/sphinx_rtd_theme_rtems/static/css/fonts/Roboto-Slab-Regular.woff2 b/common/sphinx_rtd_theme_rtems/static/css/fonts/Roboto-Slab-Regular.woff2 new file mode 100644 index 0000000..f2c76e5 Binary files /dev/null and b/common/sphinx_rtd_theme_rtems/static/css/fonts/Roboto-Slab-Regular.woff2 differ -- cgit v1.2.3