added new dock-to-right devtools theme