From bd7dc5223f24ea7226564f5bb860e45d9b790b34 Mon Sep 17 00:00:00 2001
From: Augustin Cavalier <waddlesplash@gmail.com>
Date: Sat, 28 Jan 2017 13:17:41 -0500
Subject: [PATCH] docs/user: Make more code blocks and the like appear in
 monospace fonts.

---
 docs/user/book.css | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/docs/user/book.css b/docs/user/book.css
index a37115c97d..8dde802741 100644
--- a/docs/user/book.css
+++ b/docs/user/book.css
@@ -291,7 +291,7 @@ div.contents .mlabels-right {
 }
 div.contents code, div.contents .mlabel {
 	color: blue;
-	font-family: "Deja Vu Mono", Courier, "Courier New", monospace, fixed;
+	font-family: "Deja Vu Mono", Consolas, "Courier New", monospace, fixed;
 	font-weight: normal;
 	font-style: normal;
 }
@@ -551,7 +551,7 @@ div.fragment {
 	border: 1px solid #c0c0c0; /* silver */
 	padding: 4px;
 	color: black;
-	font-family: "Deja Vu Mono", Courier, "Courier New", monospace, fixed;
+	font-family: "Deja Vu Mono", Consolas, "Courier New", monospace, fixed;
 	font-weight: normal;
 	font-style: normal;
 	font-size: 13px;
@@ -638,6 +638,7 @@ table.memberdecls {
 
 table.memberdecls td.memItemLeft {
 	font-size: 13px;
+	font-family: "Deja Vu Mono", Consolas, "Courier New", monospace, fixed;
 	white-space: nowrap;
 	text-align: right;
 	padding: 6px 0px 4px 8px;
@@ -650,6 +651,7 @@ table.memberdecls td.memItemLeft {
 
 table.memberdecls td.memItemRight {
 	font-size: 13px;
+	font-family: "Deja Vu Mono", Consolas, "Courier New", monospace, fixed;
 	padding: 6px 8px 4px 0px;
 	margin: 4px;
 	vertical-align: top;
@@ -762,6 +764,7 @@ div.memproto {
 	padding: 4px;
 	background-color: #f3f3f3; /* concrete */
 	border: 1px solid #c0c0c0; /* silver */
+	font-family: "Deja Vu Mono", Consolas, "Courier New", monospace, fixed;
 }
 
 div.memproto table {