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%;}
  
  /*