Correction de la police monospace

diff --git a/local.css b/local.css
index 938a948664ce002a27eccff52a509321efc2c6e6..2b15374e23488d430b312d28025b3c2c131dffef 100644 (file)
--- a/local.css
+++ b/local.css
@@ -25,10 +25,10 @@
   src: local('Open Sans Bold Italic'), local('OpenSans-BoldItalic'), url(assets/OpenSans/OpenSans-BoldItalic.ttf) format('truetype');
 }
 @font-face {
   src: local('Open Sans Bold Italic'), local('OpenSans-BoldItalic'), url(assets/OpenSans/OpenSans-BoldItalic.ttf) format('truetype');
 }
 @font-face {

-  font-family: 'Incosolata';
+  font-family: 'Inconsolata';

   font-style: normal;
   font-weight: 400;
   font-style: normal;
   font-weight: 400;

-  src: local('Incosolata'), local('Inconsolata-Regular'), url(assets/Inconsolata/Inconsolata.otf) format('opentype');
+  src: local('Inconsolata'), local('Inconsolata-Regular'), url(assets/Inconsolata/Inconsolata.otf) format('opentype');

 }
 
 html {
 }
 
 html {


@@ -45,7 +45,8 @@ body {
 
 code,
 pre {
 
 code,
 pre {

-       font-family: "Incosolata", monospace;
+       font-family: "Inconsolata", monospace;
+       font-size-adjust: 0.535;

 }
 
 .page {
 }
 
 .page {