Make it easier to figure out the where a menuselection starts and ends
by controling the font.
diff --git a/Doc/html/style.css b/Doc/html/style.css
index a77fab5..c722db3 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -115,6 +115,7 @@
.newsgroup { font-family: avantgarde, sans-serif; }
.url { font-family: avantgarde, sans-serif; }
.file { font-family: avantgarde, sans-serif; }
+.menuselection { font-family: avantgarde, sans-serif; }
.tableheader { background-color: #99ccff;
font-family: avantgarde, sans-serif; }