Code cleanup: Remove margins from tab labels in prefs.js.
Code cleanup on dockedWorkspaces.js
Convert tabs to spaces in dockedWorkspaces.js