GUI style changes suggested by Erik Hofman and Curtis Olson.

diff --git a/src/GUI/gui.cxx b/src/GUI/gui.cxx
index 1f4d75a894c7abb000cb4dcf0d3651e5ad6d6c6f..a12576ce7717c12899bcb3f2f296f563b01f67e4 100644 (file)
--- a/src/GUI/gui.cxx
+++ b/src/GUI/gui.cxx
@@ -178,8 +178,8 @@ void guiInit()
 
     // Initialize PUI
     puInit();
-    puSetDefaultStyle         ( PUSTYLE_BEVELLED ); //PUSTYLE_DEFAULT
-    puSetDefaultColourScheme  (0.6, 0.6, 0.5, 1.0);
+    puSetDefaultStyle         ( PUSTYLE_SMALL_BEVELLED ); //PUSTYLE_DEFAULT
+    puSetDefaultColourScheme  (0.8, 0.8, 0.9, 0.8);
 
     initDialog();