Fix logo width and height to avoid link overlap in Safari (resolves #748)

website/_harp.json

@@ -54,7 +54,7 @@
             }
         },
 
-        "V_CSS": "1.14",
+        "V_CSS": "1.15",
         "V_JS": "1.0",
         "DEFAULT_SYNTAX": "python",
         "ANALYTICS": "UA-58931649-1",

website/_includes/_mixins-base.jade

@@ -113,7 +113,7 @@ mixin gitter(button, label)
 //- Logo
 
 mixin logo()
-    +svg("graphics", "spacy", 500).o-logo&attributes(attributes)
+    +svg("graphics", "spacy", 675, 215).o-logo&attributes(attributes)
 
 
 //- Landing

website/assets/css/_base/_objects.sass

@@ -83,7 +83,7 @@
 //- Logo
 
 .o-logo
-    @include size($logo-width, auto)
+    @include size($logo-width, $logo-height)
     fill: currentColor
     vertical-align: middle
     margin: 0 0.5rem

website/assets/css/_variables.sass

@@ -11,6 +11,7 @@ $aside-width: 30vw
 $aside-padding: 25px
 
 $logo-width: 85px
+$logo-height: 27px
 
 $grid: ( quarter: 4, third: 3, half: 2, two-thirds: 1.5, three-quarters: 1.33 )
 $breakpoints: ( sm: 768px, md: 992px, lg: 1200px )