Usability tweaks to tabs.
Usability tweaks to tabs.

SandstoneHPC/OIDE,ResearchComputing/OIDE,ResearchComputing/OIDE,SandstoneHPC/OIDE,SandstoneHPC/OIDE,ResearchComputing/OIDE,SandstoneHPC/sandstone-ide,ResearchComputing/OIDE,SandstoneHPC/sandstone-ide,SandstoneHPC/sandstone-ide