Well, issue 19 was a lame excuse for me not to try it out. Indeed, meanwhile I've been busy and found a way to adapt bordered tabs to the vertical alignment. Put the following code into userChrome.css:
.tabbrowser-tab,
.tabs-newtab-button {
position: static;
-moz-appearance: none;
background: linear-gradient(hsla(0,0%,100%,.2), hsla(0,0%,45%,.2) 2px, hsla(0,0%,32%,.2) 80%);
background-origin: border-box;
/* background-position: 1px 2px; */
background-position: 2px 1px !important;
/* background-size: 100% calc(100% - 2px); */
background-size: calc(100% - 2px) 100% !important;
background-repeat: no-repeat;
color: inherit;
margin: 0;
padding: 0;
/* border-width: 4px 5px 3px 6px; */
border-width: 6px 3px 5px 4px !important;
border-style: solid;
/* -moz-border-image: url(tabbrowser/tab.png) 4 5 3 6 fill repeat stretch; */
-moz-border-image: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAMCAQAAAAjMu5zAAAAAXNSR0IArs4c6QAAAAJiS0dEAP+Hj8y/AAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH3QIYFhsy9FPMmQAAAMJJREFUKM+NkTFqAlEQhr958wSNLKtbJAQ2EMTGG20n6cXWM3iTnGQvkAukSJVAjIW7iO48C5eoWOz7fgam+Kb5RwBB6eHxOASHtLnelJSp3wuCp88LzyTtkf7POQ5FvWTfRSkoA2ajZLmd15MjDUbAMIyKWwLmUZ5GycdfvqXmiF102XGHR8lWm7xiR6ATh+OhcNRE4RDk1XGI1QPh0+jF6kb1bgxi9Ybf9fhryBDt1tveH9PF5q3OO3uP/yrZT1GeAIgbPqkgZXo8AAAAAElFTkSuQmCC) 6 3 5 4 fill stretch repeat !important;
/* border-radius: 10px 8px 0 0; */
border-radius: 10px 0 0 8px !important;
min-height: 25px; /* reserve space for the sometimes hidden close button */
}This code was taken from the
browser.css for linux. The lines with
!important have been changed by me. The original lines are commented out. The file
tabbrowser/tab.png can be viewed under the address chrome://browser/skin/tabbrowser/tab.png in Firefox. I appended this file and the modified version (included as base64 coded data into userChrome.css) for the vertical tab bar. Also attached are samples of the tab bar before and after my modifications.