From 25be142723568421b3c22a058ea2490bf87950fb Mon Sep 17 00:00:00 2001 From: David Wosnitza Date: Fri, 12 Dec 2014 15:37:28 +0100 Subject: changed theme to sphinx_rtd_theme Signed-off-by: David Wosnitza --- .../static/fonts/fontawesome-webfont.woff | Bin 0 -> 44432 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 user_guide_src/source/_themes/sphinx_rtd_theme/static/fonts/fontawesome-webfont.woff (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/static/fonts/fontawesome-webfont.woff') diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/static/fonts/fontawesome-webfont.woff b/user_guide_src/source/_themes/sphinx_rtd_theme/static/fonts/fontawesome-webfont.woff new file mode 100644 index 000000000..8c1748aab Binary files /dev/null and b/user_guide_src/source/_themes/sphinx_rtd_theme/static/fonts/fontawesome-webfont.woff differ -- cgit v1.2.3-24-g4f1b