fix minor syntactic faux pas
diff --git a/Doc/html/style.css b/Doc/html/style.css
index c722db3..e0cb736 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -49,7 +49,7 @@
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 @@
.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; }