Further to the last post which seems like a long time ago but, hay, I’m flat out like a lizard drinking here, the good Ripper has added another bit of code to give the tabs nice rounded upper corners. Now that may not sound like a big deal but it’s a fine move if, in previous versions of Firefox, you’d rounded ‘em to meet your personalisation requirements as, indeed, had I. Now, I find it just helps my old eyes see exactly wot tab I’m ‘working in’ before doing that clicky thingy to close unwanted tabs.
Anyhoo, here’s the code as provided by Ripper;
/*
* Put rounded corners on tabs
*/
.tab-background {
border-radius: 10px 10px 0px 0px !important;
border-image: none !important;
}
.tab-line {
display: none;
}
All you need to do is open your Profile folder as before, find the chrome folder, open it, open userChrome.css then copy the bit above and paste it directly below any code already there so it will then look like wot’s below including the lower Tab bar code. Close and reopen Fox. JD.
/* Puts tabs on the bottom */
#TabsToolbar {
-moz-box-ordinal-group: 2;
border-bottom: 1px solid #888 !important;
}
#nav-bar{ border-top-width: 0px !important; }
/*
* Put rounded corners on tabs
*/
.tab-background {
border-radius: 10px 10px 0px 0px !important;
border-image: none !important;
}
.tab-line {
display: none;
}
Finally, if you always have many, many tabs open and you’d like less width to your tabs, glue this below all the above and set the figures for min-width and max-width to your preferred values.
.tabbrowser-tab:not([pinned])
{
min-width: 100px !important;
max-width: 200px !important;
}
I also see that the + on the Tab Bar to open a new ‘blank’ tab, that I couldn’t previously see, has mysteriously appeared. I really do need to get out more next week.
Quote; ??
“It’s not a bug – it’s an undocumented feature.”
4 comments:
Or to save yourself a lot of trouble you could always try Waterfox?
https://www.waterfoxproject.org/
I switched over and it is identical to Firefox, pre muck-up.
Grandad,
Yep, Waterfox or even Microsoft Edge... Woops! Was that a choking sound I heard?
I'm just about where I want to be now and anyway, the nights are dark and cold and I need a little relaxing 'challenge' to take my mind of all the DIY I stupidly talked myself into.
Thank you for 'raising my awareness' as to wot day it is and I hope you're having a happy chaps day. Man, the world's getting sadder by the second.
"Thank you for 'raising my awareness' as to wot day it is" - I can only apologise for that. The last thing I wanted to do was "raise awareness", but seeing as you are now aware [obviously], are you now celebrating?
Grandad,
Yes indeed I am.
Unlike the sad fellow who's the subject of this song.
The last few seconds of which, however many times I play it, always makes me smile out loud. Enjoy on this special day...
https://www.youtube.com/watch?v=7j_BmIOlMS4
Post a Comment