From 1e43606035e90ffa5fa4285f2ba8126fe0c27768 Mon Sep 17 00:00:00 2001 From: Jody Klymak Date: Sun, 27 Oct 2019 12:49:54 -0700 Subject: [PATCH] Backport PR #15533: Use svg instead of png for website logo --- doc/_static/logo2_compressed.svg | 1 + doc/_templates/layout.html | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 doc/_static/logo2_compressed.svg diff --git a/doc/_static/logo2_compressed.svg b/doc/_static/logo2_compressed.svg new file mode 100644 index 000000000000..1cb032d4c6ea --- /dev/null +++ b/doc/_static/logo2_compressed.svg @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html index f30a5c758b06..939e05e1ca82 100644 --- a/doc/_templates/layout.html +++ b/doc/_templates/layout.html @@ -36,7 +36,7 @@ {%- else %}
Version {{ version|e }}
- matplotlib
+ matplotlib {%- endif %}