From 2d9c04159e907716eab1b1c7600aafa0cc1f6b65 Mon Sep 17 00:00:00 2001
From: Sander Roosendaal <roosendaalsander@gmail.com>
Date: Sat, 2 Mar 2019 17:05:22 +0100
Subject: [PATCH] font changes for caret

---
 static/css/styles2.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/static/css/styles2.css b/static/css/styles2.css
index f736e859..e3dc143f 100644
--- a/static/css/styles2.css
+++ b/static/css/styles2.css
@@ -199,6 +199,8 @@
     {
         /* icons */
         font:  normal normal normal 1.0em/1 FontAwesome;
+	font-family: "Font Awesome 5 Pro";
+	font-weight: 900;
         font-size: inherit;
         text-rendering: auto;
         content: '\f0da';