AK wrote:
On Thursday, June 25, 2020 at 5:45:21 PM UTC-5, Lee wrote:
On 6/25/20, AK <[email protected]> wrote:
On Thursday, June 25, 2020 at 2:54:13 PM UTC-5, WaltS48 wrote:
On 6/25/20 3:47 PM, AK wrote:
I want to change the font size in tabs.
Is it something to be put in userchrome.css?
Thanks.
Isn't that in the userChrome-example.css file found in the profile
folder?
/*
* Some possible accessibility enhancements:
*/
/*
* Make all the default font sizes 20 pt:
*
* * {
* font-size: 20pt !important
* }
*/
/*
* Make menu items in particular 15 pt instead of the default size:
*
* menupopup > * {
* font-size: 15pt !important
* }
*/
I did not state my desire completely.
This should help.
https://imgur.com/a/1cTCLrG
maybe this
.tabbrowser-tab {min-width: 3em !important}
Thanks.
It did not help.
Just so I am clear, I am looking to reduce the width of tabs.
As of now, I can not have more than 5 tabs open.
Firefox can have more tabs open.
These are the settings I have in about:config:
browser.tabs.tabClipWidth = 60
browser.tabs.tabMaxWidth = 320
browser.tabs.tabMinWidth = 16
I do not have any such limitation in the number of tabs I can have open.
_______________________________________________
support-seamonkey mailing list
[email protected]
https://lists.mozilla.org/listinfo/support-seamonkey
