From 78f88926eae5285d327c37396989ab463c563041 Mon Sep 17 00:00:00 2001
From: Ozbolt Menegatti <ozbolt.menegatti@gmail.com>
Date: Tue, 14 Jan 2020 21:11:27 +0100
Subject: [PATCH] using picnic min css now, picnic.css just did not exist
 anymore

---
 package.json  | 5 +++--
 res/main.less | 2 +-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/package.json b/package.json
index 53da295..737f36a 100644
--- a/package.json
+++ b/package.json
@@ -10,8 +10,9 @@
   "devDependencies": {
     "browserify": "^16.5.0",
     "esmify": "^2.1.1",
-    "picnic": "^6.5.1",
+    "picnic": "^6.5.2",
     "snabbdom": "^0.7.4",
-    "tinyify": "^2.5.2"
+    "tinyify": "^2.5.2",
+    "brfs": "^2.0.2"
   }
 }
diff --git a/res/main.less b/res/main.less
index c2585e4..40fa098 100644
--- a/res/main.less
+++ b/res/main.less
@@ -1,4 +1,4 @@
-@import (less) "picnic.css";
+@import (less) "picnic.min.css";
 @import (less) "colors.less";
 
 .translation-element-margin {