--- happygnome.xml	Fri Jun 28 02:07:31 2002
+++ /root/gnome-2.0/gdm-2.4.0.0/gui/greeter/themes/happygnome/happygnome.xml	Thu Jun 27 20:40:56 2002
@@ -54,9 +54,9 @@
 	    <pos y="50%" anchor="w" width="box" height="box"/>
             <box orientation="horizontal" spacing="10" xpadding="10">
 	      <item type="pixmap">
+	        <normal file="help.png" tint="#dddddd"/>
+	        <prelight file="help.png"/>
+	        <active file="help.png" tint="#ff0000"/>
-	        <normal file="session.png" tint="#dddddd"/>
-	        <prelight file="session.png"/>
-	        <active file="session.png" tint="#ff0000"/>
 	        <pos y="50%" anchor="w"/>
 	      </item>
 	      <item type="label">
@@ -110,9 +110,9 @@
 	    <pos y="50%" anchor="w" width="box" height="box"/>
             <box orientation="horizontal" spacing="10" xpadding="10">
 	      <item type="pixmap">
+	        <normal file="options.png" tint="#dddddd"/>
+	        <prelight file="options.png"/>
+	        <active file="options.png" tint="#ff0000"/>
-	        <normal file="system.png" tint="#dddddd"/>
-	        <prelight file="system.png"/>
-	        <active file="system.png" tint="#ff0000"/>
 	        <pos y="50%" anchor="w"/>
 	      </item>
 	      <item type="label">
