Lee wrote:
On 9/12/18, Andy K <andrewkennedy...@gmail.com> wrote:
Is it possible to increase the size of font used in bookmarks?
Maybe something along these lines?
add this bit to userChrome.css
/*
* increase the font size of bookmarks
*/
.bookmark-item { font-size: 150% !important; }
ยก that will be 1,5 * 12pts = 18pts !
which also sets the font size of the bookmarks toolbar; dunno if you
want that or not, but I don't know how to exclude it.
Lee
--
https://facebook.com/gerardjan.vinkesteijn
Karl's version of Parkinson's Law: Work expands to exceed the time alloted it.
Fedora20
User agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Firefox/52.0
SeaMonkey/2.49.4
Build identifier: 20180711183816
ps. family: https://vinkesteijn.com
_______________________________________________
support-seamonkey mailing list
support-seamonkey@lists.mozilla.org
https://lists.mozilla.org/listinfo/support-seamonkey
