On 9/12/18 9:50 PM, Andy K wrote:
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.
I prefer the simple method.
Install Gnome or Unity Tweaks and adjust all font sizes for all
applications at once.
I read somewhere the ability to adjust fonts is also coming to Windows 10.
ymmv
--
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
_______________________________________________
support-seamonkey mailing list
support-seamonkey@lists.mozilla.org
https://lists.mozilla.org/listinfo/support-seamonkey
