Remove files duplicated in `gh-pages'

These pages should be tracked by that branch; it is an explicitly
separate part of the system.

1 files changed, 0 insertions, 9 deletions

diff --git a/auth/style.css b/auth/style.css
deleted file mode 100644
index f3fbe99..0000000
--- a/auth/style.css
+++ /dev/null
@@ -1,9 +0,0 @@
-div.uservalue {
-    font-family: monospace;
-    font-size: 14pt;
-    font-weight: bold;
-    color: darkgreen;
-    margin-top: 2ex;
-    margin-bottom: 2ex;
-    margin-left: 2em;
-}