From 6dcda67ed64b6d0e2bd6ab0bbe8bd896f6d74efd Mon Sep 17 00:00:00 2001
From: Beman <bdawes@acm.org>
Date: Thu, 12 Feb 2015 17:57:05 -0500
Subject: [PATCH] Specify font-family: "courier new", courier, serif; as it
 makes the Windows result prettier on all browsers tested (IE, Firefox,
 Chrome).

---
 doc/styles.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/styles.css b/doc/styles.css
index 9d89d77..2018ec0 100644
--- a/doc/styles.css
+++ b/doc/styles.css
@@ -8,8 +8,8 @@ body
 }
  ins  {background-color: #CCFFCC;}
  del  {background-color: #FFCACA;}
- pre  {background-color: #D7EEFF; font-size: 95%; font-family: courier, serif;}
- code {font-size: 110%; font-family: courier, serif;}
+ pre  {background-color: #D7EEFF; font-size: 95%; font-family: "courier new", courier, serif;}
+ code {font-size: 110%; font-family: "courier new", courier, serif;}
  table {font-size: 100%;}
  
  /*