From 13983a144c6b78ccd601a246e83ab7132a3b61b7 Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Thu, 2 Jul 2020 10:18:14 +0200
Subject: [PATCH] Remove Font Awesome CSS

---
 style/index.css | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/style/index.css b/style/index.css
index 76a2a01d..dc105340 100644
--- a/style/index.css
+++ b/style/index.css
@@ -10,20 +10,6 @@
 @import './sidebar.css';
 @import './sources.css';
 
-/* font awesome */
-
-.fa {
-  display: inline-block;
-  font: normal normal normal 14px/1 FontAwesome;
-  font-size: inherit;
-  text-rendering: auto;
-  -webkit-font-smoothing: antialiased;
-}
-
-.fa-caret-down:before {
-  content: '\F0D7';
-}
-
 .jp-Document .jp-Toolbar {
   justify-content: flex-end;
 }