diff options
Diffstat (limited to 'wiki/lib/plugins/usermanager/style.css')
| -rw-r--r-- | wiki/lib/plugins/usermanager/style.css | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/wiki/lib/plugins/usermanager/style.css b/wiki/lib/plugins/usermanager/style.css deleted file mode 100644 index 9028fed..0000000 --- a/wiki/lib/plugins/usermanager/style.css +++ /dev/null @@ -1,33 +0,0 @@ -/* User Manager specific styles */ -#user__manager tr.disabled { - color: #6f6f6f; - background: #e4e4e4; -} -#user__manager tr.user_info { - vertical-align: top; -} -#user__manager div.edit_user { - width: 46%; - float: left; -} -#user__manager table { - margin-bottom: 1em; -} -#user__manager ul.notes { - padding-left: 0; - padding-right: 1.4em; -} -#user__manager button[disabled] { - color: #ccc!important; - border-color: #ccc!important; -} -#user__manager .import_users { - margin-top: 1.4em; -} -#user__manager .import_failures { - margin-top: 1.4em; -} -#user__manager .import_failures td.lineno { - text-align: center; -} -/* IE won't understand but doesn't require it */ |