use update.css as generic minimal utility css

diff --git a/update.css b/update.css
deleted file mode 100644 (file)
index f4b9da3..0000000
--- a/update.css
+++ /dev/null
@@ -1,11 +0,0 @@
-p.warning {
-       color : red;
-}
-
-p.query {
-       color : green;
-}
-
-p.insensitive {
-       color : gray;
-}

diff --git a/utility.css b/utility.css
new file mode 100644 (file)
index 0000000..f4b9da3
--- /dev/null
+++ b/utility.css
@@ -0,0 +1,11 @@
+p.warning {
+       color : red;
+}
+
+p.query {
+       color : green;
+}
+
+p.insensitive {
+       color : gray;
+}