fix #2968 manually: add consolas to monospace font stack

diff --git a/docs/assets/bootstrap.zip b/docs/assets/bootstrap.zip
index 1694b737584a54162069f78b4d14715de1166e48..01dc38fad4e4f02e1d09d1fa916464130a8f2a38 100644 (file)
Binary files a/docs/assets/bootstrap.zip and b/docs/assets/bootstrap.zip differ

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index c0b2325ba89dabf47e13a6a8aabbda4ad41a465a..bc0592563f849c59d1538c0b88853236db69475c 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -543,7 +543,7 @@ cite {
 code,
 pre {
   padding: 0 3px 2px;
-  font-family: Menlo, Monaco, "Courier New", monospace;
+  font-family: Menlo, Monaco, Consolas, "Courier New", monospace;
   font-size: 12px;
   color: #333333;
   -webkit-border-radius: 3px;

diff --git a/less/variables.less b/less/variables.less
index 35fa11265d757aae400b6bd3a06f3198a386e0d7..30dd73b8b8b93696518ae712b9a460e1d5800a44 100644 (file)
--- a/less/variables.less
+++ b/less/variables.less
@@ -47,7 +47,7 @@
 // -------------------------
 @sansFontFamily:        "Helvetica Neue", Helvetica, Arial, sans-serif;
 @serifFontFamily:       Georgia, "Times New Roman", Times, serif;
-@monoFontFamily:        Menlo, Monaco, "Courier New", monospace;
+@monoFontFamily:        Menlo, Monaco, Consolas, "Courier New", monospace;
 
 @baseFontSize:          13px;
 @baseFontFamily:        @sansFontFamily;