From e4d825f5437c5026aed95abd9d3343253af06c90 Mon Sep 17 00:00:00 2001
From: tjhunt <tjhunt>
Date: Fri, 15 Aug 2008 08:33:02 +0000
Subject: [PATCH] XMLDB, make disable 'buttons' grey, so they look more
 disabled. I think that this makes it more easy to skim through the list of
 files.

---
 theme/standard/styles_color.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/theme/standard/styles_color.css b/theme/standard/styles_color.css
index 1070dfa8cd..84c13a41ea 100644
--- 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
  ***/
-- 
2.39.5