gmoccapy: bigger MDI enter button (with CSS)

Author: hansu

src/emc/usr_intf/gmoccapy/gmoccapy.glade

@@ -1735,6 +1735,7 @@ uncomment selection</property>
                                 </child>
                                 <child>
                                   <object class="EMC_MDIHistory" id="hal_mdihistory">
+                                    <property name="name">mdi_entry</property>
                                     <property name="visible">True</property>
                                     <property name="can-focus">False</property>
                                     <property name="use-double-click">True</property>

src/emc/usr_intf/gmoccapy/gmoccapy.py

@@ -161,7 +161,11 @@ def __init__(self, argv):
             progress, text {
                 font-size: 13.3px;
             }
-        """
+            #mdi_entry image.right { background: rgba(146,149,149,0.3); padding: 20px; border-radius: 3px; }
+            #mdi_entry entry { border-width: 2px; margin-top: 3px; padding-right: 0px; }
+            #mdi_entry entry:focus { border-width: 1px; padding-right: 1px; padding-top: 1px; padding-bottom: 1px; }
+         """
+            
         screen = Gdk.Screen.get_default()
         provider = Gtk.CssProvider()
         provider.load_from_data(css)