diff --git a/Doc/html/style.css b/Doc/html/style.css
index cfd5942c86e..64b527d3c78 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -53,7 +53,7 @@ code, tt { font-family: lucida typewriter, lucidatypewriter,
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;