use update.css as generic minimal utility css

1 files changed, 11 insertions, 0 deletions

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