fix minor syntactic faux pas

diff --git a/Doc/html/style.css b/Doc/html/style.css
index c722db36badc59fab5221b2af7bf49738849768d..e0cb7360652bcbbfc198c447ccff6437348b1c1a 100644 (file)
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -49,7 +49,7 @@ h1, h2, h3, h4, h5, h6  { font-family: avantgarde, sans-serif;
 h1                      { font-size: 180%; }
 h2                      { font-size: 150%; }
 h3, h4                  { font-size: 120%; }
-code, tt                { font-family: lucida typewriter, lucidatypewriter,
+code, tt                { font-family: "lucida typewriter", lucidatypewriter,
                                        monospace; }
 var                     { font-family: times, serif;
                           font-style: italic;
@@ -86,7 +86,7 @@ div.note .label         { margin-right: 0.5em;
 .titlegraphic           { vertical-align: top; }
 
 .verbatim pre           { color: #00008b;
-                          font-family: lucida typewriter, lucidatypewriter,
+                          font-family: "lucida typewriter", lucidatypewriter,
                                        monospace;
                           font-size: 90%; }
 .verbatim               { margin-left: 2em; }