commit f0f6d12cd4d2159cbe2473c6ff5aeb5f9d245e02
author Fred Drake <fdrake@acm.org> Fri Jan 23 08:52:28 2004 +0000
committer Fred Drake <fdrake@acm.org> Fri Jan 23 08:52:28 2004 +0000
tree dec64d0de926fa60eca7813d640433d3dedbf819
parent 226f697560af74985ee5ecf2fc4f6b1c991006dc

add \guilabel macro to mark labels that occur in user interfaces

Doc/html/style.css

diff --git a/Doc/html/style.css b/Doc/html/style.css
index f585744..33a1380 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -123,7 +123,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; }
+.guilabel               { font-family: avantgarde, sans-serif; }
 
 .tableheader            { background-color: #99ccff;
                           font-family: avantgarde, sans-serif; }