Parcourir la source

Change terminal default font

Lucas de Souza il y a 5 ans
Parent
commit
a2e65a5e4d
1 fichiers modifiés avec 6 ajouts et 1 suppressions
  1. 6 1
      css/ivprog-term.css

+ 6 - 1
css/ivprog-term.css

@@ -86,6 +86,7 @@
 .bash {
   box-shadow: 0 0 30px rgba(0,0,0,0.4);
   border-radius: 3px;
+  font-family: "Andale Mono", Consolas, "Courier New" !important;
 }
 
 .bash-title {
@@ -192,4 +193,8 @@
 }
 .assessment-div-detail:hover > span {
   text-decoration: underline;
-}
+}
+
+.bash span {
+  font-family: 'Courier New', Courier, monospace;
+}