Typo, spotted by Fredrik Lundh.

diff --git a/Doc/html/style.css b/Doc/html/style.css
index cfd5942c86e1e1095f914fdc96850beb2ecff1e7..64b527d3c785d736cd81548e62139434d5e219d9 100644 (file)
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -53,7 +53,7 @@ var                     { font-family: times, serif;
                           font-style: italic;
                           font-weight: normal; }
 
-.typelabel              { font-family: lucida, sans serif; }
+.typelabel              { font-family: lucida, sans-serif; }
 
 .navigation td          { background-color: #99ccff;
                           font-weight: bold;