From 3c737395e44e29c9dcc0552660dd75ce2cdd93b0 Mon Sep 17 00:00:00 2001 From: crs23 Date: Mon, 10 Sep 2007 01:25:57 +0000 Subject: [PATCH] Changed CSS to use 'Courier New' instead of 'Courier'. --- doc/synergy.css | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/synergy.css b/doc/synergy.css index 8d831aa0..f020aa59 100644 --- a/doc/synergy.css +++ b/doc/synergy.css @@ -44,7 +44,7 @@ b { pre { display: block; white-space: pre; - font-family: courier; + font-family: courier new; font-size: 87.5%; } @@ -124,19 +124,19 @@ pre { .arg { font-style: italic; - font-family: courier; + font-family: courier new; } .userinput { display: block; white-space: pre; - font-family: courier; + font-family: courier new; font-size: 87.5%; font-weight: bold; } .code { - font-family: courier; + font-family: courier new; } .code table { @@ -147,7 +147,7 @@ pre { .codeblock { display: block; white-space: pre; - font-family: courier; + font-family: courier new; font-size: 87.5%; border: 1px solid #000000; padding: 1em;