More theme changes:

src/platform/theme/resources/gtkrc

Index: src/platform/theme/resources/gtkrc
diff --git a/src/platform/theme/resources/gtkrc b/src/platform/theme/resources/gtkrc
index 37b8ed6548c4d79240ed5714424d72a2a60f5417..43ab469f99b4bf141dd42fe2a8ef695bf4113f8b 100644
--- a/src/platform/theme/resources/gtkrc
+++ b/src/platform/theme/resources/gtkrc
@@ -2,6 +2,12 @@ gtk_color_scheme = "fg_color:#000\nbg_color:#F7F7F7\nbase_color:#F7F7F7\ntext_co
 
 gtk-font-name="DroidSans 7"
 
+# Disable button images.
+gtk-button-images = 0
+
+# Diable mnemonics for labels and menu items.
+gtk-enable-mnemonics = 0
+
 style "default" {
   fg[NORMAL]        = @fg_color
   fg[PRELIGHT]      = @text_color
@@ -83,6 +89,9 @@ style "NotebookStyle" = "default" {
 
   # We don't want tabs to overlap.
   GtkNotebook::tab_overlap = 0
+
+  # Padding for tabs.
+  GtkNotebook::tab-curvature = 10
 }
 
 style "TextStyle" = "default" {