combined DockToRight repo version with this in order to make use of its integration of smaller icons to replace default larger ones in devtools