Actualizar fuentes a Source Sans/Code Pro

Araozu · Araozu · commit bc8e5116cf93 · 2020-11-29T11:52:29.000-05:00
diff --git a/generarIndicesDeBusqueda.js b/generarIndicesDeBusqueda.js
diff --git a/public/index.html b/public/index.html
@@ -10,7 +10,7 @@
     <meta name="description" content="Lenguaje de programación funcional que se compila a JavaScript.">
 
     <link rel="preconnect" href="https://fonts.gstatic.com">
-    <link href="https://fonts.googleapis.com/css2?family=Roboto+Mono&family=Roboto:ital,wght@0,400;0,700;1,400;1,700&family=Source+Sans+Pro:ital,wght@0,400;0,600;1,400;1,600&display=swap" rel="stylesheet">
+    <link href="https://fonts.googleapis.com/css2?family=Source+Code+Pro:ital@0;1&family=Source+Sans+Pro:ital,wght@0,400;0,600;0,700;1,400;1,600;1,700&display=swap" rel="stylesheet">
 </head>
 <body>
 <noscript>
diff --git a/src/components/docs/repl-docs/consola-repl-docs.vue b/src/components/docs/repl-docs/consola-repl-docs.vue
@@ -75,7 +75,7 @@ export default {
     padding: 0.5rem
 
 .contenido
-    font-family: "JetBrains Mono", monospace
+    font-family: var(--fuente-codigo)
 
 .contenido-linea
     border-bottom: solid 1px var(--color-borde)
diff --git a/src/sass/global.sass b/src/sass/global.sass
@@ -7,9 +7,9 @@
     --color-borde-exito: #4CAF50
     // #01070a
     --colorSecundario: #FD4565
-    --fuenteNormal: Roboto, sans-serif
-    --fuenteTitulo: "Source Sans Pro", Roboto, sans-serif
-    --fuente-codigo: "Roboto Mono", monospace
+    --fuenteNormal: "Source Sans Pro", sans-serif
+    --fuenteTitulo: "Source Sans Pro", sans-serif
+    --fuente-codigo: "Source Code Pro", monospace
     --tamanoFuenteCodigo: 0.9rem
 
     --color-r: #e7b711
@@ -22,7 +22,7 @@ html, body
     font-family: var(--fuenteNormal)
     color: var(--color)
     background-color: var(--fondo)
-    font-size: 18px
+    font-size: 19px
 
 
 h1, h2, h3, h4, h5
