So my time is very limited between the work I do on this theme of mine and work, what I'll do is provide you the link to the source, and you can browse this file that contains everything related to the vertical tab modifications: https://github.com/s...
It can be done when the the vertical tab bar (#sidebar-main) is positioned as a fixed element actually. But it requires manipulating userchrome.. which could be an unnecesary hurtle for the (majority?) users of the feature who just want it baked in.I...
These are minuscule, but spacing could be improved a bit as well.The first would be the menubar - when pressing alt, it seems to leave 20-25 pixels of unused space beneath it, as apposed to when toggling it as always visible.The second would be the h...
