make right sidebar on admin interface 15% smaller

[bksubhuti]

I rarely need the right admin bar (but need sometimes).. so if it is 15% smaller that would be better.