Remove unused font from custom.css [no ci]

PMEAL · Sep 10, 2022 · d8049bd · d8049bd
1 parent 84d5fe2
commit d8049bd
Showing 1 changed file with 0 additions and 3 deletions.
diff --git 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 {