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.eot | Bin 0 -> 38205 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 user_guide_src/source/_themes/sphinx_rtd_theme/static/fonts/fontawesome-webfont.eot (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/static/fonts/fontawesome-webfont.eot') diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/static/fonts/fontawesome-webfont.eot b/user_guide_src/source/_themes/sphinx_rtd_theme/static/fonts/fontawesome-webfont.eot new file mode 100644 index 000000000..7c79c6a6b Binary files /dev/null and b/user_guide_src/source/_themes/sphinx_rtd_theme/static/fonts/fontawesome-webfont.eot differ -- cgit v1.2.3-24-g4f1b