On Wednesday, September 12, 2018 at 9:18:32 AM UTC-5, WaltS48 wrote:
> On 9/12/18 8:02 AM, Andy K wrote:
> > Is it possible to increase the size of font used in bookmarks?
> >
> > https://www.dropbox.com/s/wnk2sy7q3l845 ... s.png?dl=0
> >
>
> Is it possible to inform us what operating system you are using?
>
> I adjust font sizes using Gnome Tweaks in my Ubuntu Linux. The
> adjustments affect all applications.
>
> For Window Title I use Ubuntu Bold Italic, set at 12, Interface is
> Ubuntu Regular at 12 (the bookmarks use this setting).
>
> --
> CPU: 3.2 Ghz AMD Athlon(tm) II X3 455 Processor
> RAM: 8 GiB
> Graphics: GeForce GT 630/PCIe/SSE2
> OS: Ubuntu Linux 18.04LTS - Gnome Desktop
I am using Ubuntu.
This is an answer.
Paste in the following content in UserChrome.css.
/*
* Do not remove the @namespace line -- it's required for correct functioning
*/
@namespace
url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul";);
/* set default namespace to XUL */
menupopup#bookmarksMenuPopup * {
font-size: 20pt !important
}
You can change 20pt to a higher or lower value to meet your specific needs.
_______________________________________________
support-seamonkey mailing list
[email protected]
https://lists.mozilla.org/listinfo/support-seamonkey
