css: use png logo instead of svg to avoid issues

git-svn-id: svn+ssh://atelier.inf.usi.ch/home/bevilj/group-1@114 a672b425-5310-4d7a-af5c-997e18724b81
2018-11-11 21:28:20 +00:00 · 2018-11-11 21:28:20 +00:00 · 0e08c7c6d9
commit 0e08c7c6d9
parent 363ded36e2
3 changed files with 1 additions and 1 deletions
--- a/docs/design/TheShell.sketch
+++ b/docs/design/TheShell.sketch
--- a/site/_includes/header.html
+++ b/site/_includes/header.html
@ -1,6 +1,6 @@
 <div class="menuDesktop">
  <div class="logo">
-    <a href="/index.html"><img src="/assets/style/theshell.ch.svg" height="30"></a>
+    <a href="/index.html"><img src="/assets/style/theshell.png" height="30"></a>
  </div>
  <div class="fill-space"></div>
  <div class="search-box">
--- a/site/assets/style/theshell.png
+++ b/site/assets/style/theshell.png