Adding a domain label to the header.

The page header now displays the domain label if the domain is not prod.
This is useful for quickly identifying if you are modifying prod data.

1 files changed, 5 insertions, 0 deletions

diff --git a/web/style.css b/web/style.css
index 42ffdd7..e7c5bee 100644
--- a/web/style.css
+++ b/web/style.css
@@ -5,6 +5,11 @@ html, body {
     height: 100%;
 }
 
+.versiontag {
+    font-size: 150%;
+    font-style: italic;
+}
+
 .hidden {
     display: none;
 }