Add logo dimensions

diff --git a/docs/_includes/header.html b/docs/_includes/header.html
index 930be1a64b8556015e2be54d49dcb2218804abda..58aa1a0d6c15426f010a68b056c9984e456d747e 100644 (file)
--- a/docs/_includes/header.html
+++ b/docs/_includes/header.html
@@ -1,7 +1,7 @@
 <nav class="nav">
   <div class="nav-left">
     <a class="nav-item is-brand" href="{{ site.url }}">
-      <img src="{{ site.url }}/images/bulma-logo.png" alt="{{ site.title }}">
+      <img src="{{ site.url }}/images/bulma-logo.png" alt="{{ site.title }}" width="112" height="28">
     </a>
   </div>