XMLDB, make disable 'buttons' grey, so they look more disabled. I think that this...

diff --git a/theme/standard/styles_color.css b/theme/standard/styles_color.css
index 1070dfa8cd7b36cb9b67865e78e3de50ee9f0fef..84c13a41ea022b7874674a7b64cf4db60f3659ed 100644 (file)
--- a/theme/standard/styles_color.css
+++ b/theme/standard/styles_color.css
@@ -433,6 +433,11 @@ table.flexible .r1 {
     background-color: #e99;
 }
 
+#admin-xmldb-index .button,
+#admin-xmldb-index .buttons {
+  color: gray;
+}
+
 /***
  *** Blocks
  ***/