From d8049bdc3c569c43fb2687c9bfb30f9a6e227f05 Mon Sep 17 00:00:00 2001
From: Amin Sadeghi <amin.sadeghi@live.com>
Date: Fri, 9 Sep 2022 23:59:32 -0400
Subject: [PATCH] Remove unused font from custom.css [no ci]

---
 docs/_static/css/custom.css | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/docs/_static/css/custom.css b/docs/_static/css/custom.css
index 7e460a04c2..dc00978e19 100644
--- a/docs/_static/css/custom.css
+++ b/docs/_static/css/custom.css
@@ -1,6 +1,4 @@
-/* @import url('https://fonts.googleapis.com/css2?family=Fira+Code&display=swap'); */
 @import url('https://fonts.googleapis.com/css2?family=Roboto+Mono&display=swap');
-/* @import url('https://fonts.googleapis.com/css2?family=PT+Mono&display=swap'); */
 @import url('https://fonts.googleapis.com/css2?family=Open+Sans&display=swap');
 @import url('https://fonts.googleapis.com/css2?family=Lato&display=swap');
 @import url('https://fonts.googleapis.com/css2?family=Noto+Sans&display=swap');
@@ -102,7 +100,6 @@ nav .toctree-l3 > ul {
 
 .toctree-l3 > ul > li > a {
     line-height: 125% !important;
-    font-family: "JuliaMono Medium", monospace;
 }
 
 .bd-sidenav a {