From 79416c310befd55b1febc3ce0897922acd9eb39a Mon Sep 17 00:00:00 2001
From: Robin B <robin@broda.me>
Date: Sun, 31 May 2020 02:37:50 +0200
Subject: [PATCH] Drop DejaVu Sans from sans-serif fonts

Fixes #132
---
 app/assets/stylesheets/_variables.scss | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/app/assets/stylesheets/_variables.scss b/app/assets/stylesheets/_variables.scss
index b9db8934..88d02e9f 100644
--- a/app/assets/stylesheets/_variables.scss
+++ b/app/assets/stylesheets/_variables.scss
@@ -1,7 +1,7 @@
 // Font settings
 @import url(https://fonts.googleapis.com/css?family=Lato:400,700);
 
-$font-family-sans-serif:  "Lato","Open Sans", "Helvetica Neue", Helvetica, "DejaVu Sans", Arial, sans-serif;
+$font-family-sans-serif:  "Lato","Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
 $font-family-serif:       Georgia, "DejaVu Serif", "Times New Roman", Times, serif;
 $font-family-monospace:   "PragmataPro", Monaco, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace;
 $font-family-base:        $font-family-sans-serif;
@@ -92,4 +92,4 @@ $avatar-sizes: (
   --input-text: 0, 0, 0;
 }
 
-$gray: #e2e2e2;
\ No newline at end of file
+$gray: #e2e2e2;