From 4e40b500a4856cae04a141700eb4383ce8be98d9 Mon Sep 17 00:00:00 2001
From: aaaxx <aaaxx@users.noreply.github.com>
Date: Wed, 24 May 2017 05:06:46 +0200
Subject: [PATCH] Update book.css

---
 src/theme/book.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/theme/book.css b/src/theme/book.css
index 40748a19..355d7603 100644
--- a/src/theme/book.css
+++ b/src/theme/book.css
@@ -4,7 +4,7 @@ body {
   color: #333;
 }
 code {
-  font-family: "Source Code Pro", "Menlo", "DejaVu Sans Mono", monospace;
+  font-family: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace;
   font-size: 0.875em;
 }
 .left {