1#user__manager {
2	tr.disabled {
3		background: #e4e4e4;
4		color: #6f6f6f;
5	}
6	tr.user_info {
7		vertical-align: top;
8	}
9	div.edit_user {
10		float: left;
11		width: 46%;
12	}
13	table {
14		margin-bottom: 1em;
15	}
16	input.button[disabled] {
17		border-color: #ccc !important;
18		color: #ccc !important;
19	}
20}
21
22.editor_counter,
23.edit_counter {
24	font-weight: bold;
25	margin: .5em 0 0 1em !important;
26}
27
28.editor_list,
29.edit_list {
30	ol {
31		line-height: 2em !important;
32		margin: 0 0 0 3em !important;
33	}
34}
35
36a.diff_link {
37	img {
38		height: 11px;
39		width: 15px;
40	}
41}
42
43a.revisions_link {
44	img {
45		height: 14px;
46		width: 12px;
47	}
48}
49