From 713899dd0fdfec2e600eeab58986f9fefcbdb00b Mon Sep 17 00:00:00 2001 From: Sean Allred Date: Wed, 5 Nov 2014 19:28:38 -0500 Subject: Remove files duplicated in `gh-pages' These pages should be tracked by that branch; it is an explicitly separate part of the system. --- auth/style.css | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 auth/style.css (limited to 'auth/style.css') 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; -} -- cgit v1.2.3