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