How to reduce line spacing in my bookmark list? Topic is solved

Add-ons for Pale Moon and other applications
General discussion, compatibility, contributed extensions, themes, plugins, and more.

Moderators: FranklinDM, Lootyhoof

User avatar
Boson
Moongazer
Moongazer
Posts: 13
Joined: 2020-02-10, 10:51

How to reduce line spacing in my bookmark list?

Unread post by Boson » 2020-02-10, 11:07

I switched from Windows 7 to Windows 10 x64 Pro (10.0.18363.592 Version 1909 (January 2020 Update)), Pale Moon v28.8.2.1
Is there a way to reduce line spacing in my bookmark list?
The same list looks different In Win 7 and Win 10:
Image

New Tobin Paradigm

Re: How to reduce line spacing in my bookmark list?

Unread post by New Tobin Paradigm » 2020-02-10, 12:12

You are pretty much subject to the OS Style and Metrics in most places on the Default Theme. That is the point of the Default Theme. Though userChrome may be able to do a thing.

User avatar
Boson
Moongazer
Moongazer
Posts: 13
Joined: 2020-02-10, 10:51

Re: How to reduce line spacing in my bookmark list?

Unread post by Boson » 2020-02-10, 12:35

New Tobin Paradigm wrote:
2020-02-10, 12:12
Though userChrome may be able to do a thing.
How? What do you need to write into userChrome?

User avatar
jars_
Lunatic
Lunatic
Posts: 398
Joined: 2016-12-27, 00:12

Re: How to reduce line spacing in my bookmark list?

Unread post by jars_ » 2020-02-10, 12:38

userChrome.css

Code: Select all

/* height of the bookmark menu */
/* menupopup[placespopup],  v27 */
menupopup[context="placesContext"] {
	max-height: 60em !important;
	}


User avatar
Moonchild
Pale Moon guru
Pale Moon guru
Posts: 35576
Joined: 2011-08-28, 17:27
Location: Motala, SE
Contact:

Re: How to reduce line spacing in my bookmark list?

Unread post by Moonchild » 2020-02-10, 13:12

That would control the overall height of the menu, not the item spacing.
"Sometimes, the best way to get what you want is to be a good person." -- Louis Rossmann
"Seek wisdom, not knowledge. Knowledge is of the past; wisdom is of the future." -- Native American proverb
"Linux makes everything difficult." -- Lyceus Anubite

coffeebreak
Moon Magic practitioner
Moon Magic practitioner
Posts: 2986
Joined: 2015-09-26, 04:51
Location: U.S.

Re: How to reduce line spacing in my bookmark list?

Unread post by coffeebreak » 2020-02-11, 13:06

Boson wrote:
2020-02-10, 11:07
a way to reduce line spacing in my bookmark list?
Try this in userChrome.css.
(adapted from this MZ forum post)

You may want to play around with the numbers. I don't have Windows 10, but just plugged in numbers that made everything in the menu significantly smaller on my Windows 7 machine. This included making the fonts smaller, which may not be what you pictured.

(To affect all of your pulldown/popup menus, substitute menupopup for #bookmarksMenuPopup )

Code: Select all

#bookmarksMenuPopup menu, #bookmarksMenuPopup menuitem {
  height: 12px !important;
  font-size: 10px !important;
  padding-top: 0px !important;  
  padding-bottom: 0px !important;
}
#bookmarksMenuPopup .menu-iconic-icon {
  max-height: 12px !important;
  max-width: 12px !important;
}

User avatar
Boson
Moongazer
Moongazer
Posts: 13
Joined: 2020-02-10, 10:51

Re: How to reduce line spacing in my bookmark list?

Unread post by Boson » 2020-02-13, 07:31

coffeebreak wrote:
2020-02-11, 13:06
Try this ...
So I tried.
Image
The maximum I have achieved is a small reduction in line spacing with this code:

Code: Select all

#bookmarksMenuPopup menu, #bookmarksMenuPopup menuitem {
  height: 0px !important;
  font-size: 12px !important;
  padding-top: 0px !important;  
  padding-bottom: 0px !important;
}
Only one parameter (height) had a real effect on the reduction.
Have anyone got any other creative suggestions? :eh:

User avatar
Boson
Moongazer
Moongazer
Posts: 13
Joined: 2020-02-10, 10:51

Re: How to reduce line spacing in my bookmark list?

Unread post by Boson » 2020-02-13, 08:07

BTW, I found "Compact Moon" theme by Lootyhoof: https://addons.palemoon.org/addon/compact-moon-theme/
With this theme, my bookmark list looks even more compact than on Windows 7:
Image
I like this one very much. But I don't like what everything else looks like :(
Is there any way to change the default theme so that the bookmark list looks the same?

User avatar
Lootyhoof
Themeist
Themeist
Posts: 1569
Joined: 2012-02-09, 23:35
Location: United Kingdom

Re: How to reduce line spacing in my bookmark list?

Unread post by Lootyhoof » 2020-02-13, 11:33

Boson wrote:
2020-02-13, 08:07
But I don't like what everything else looks like
Perhaps you should try the options extension, which configures how the theme looks: https://addons.palemoon.org/addon/compact-moon-options/

User avatar
Boson
Moongazer
Moongazer
Posts: 13
Joined: 2020-02-10, 10:51

Re: How to reduce line spacing in my bookmark list?

Unread post by Boson » 2020-02-13, 12:30

Wasn't as tricky as I thought. Just a couple of lines of code!
userChrome.css:

Code: Select all

#bookmarksMenuPopup menu, #bookmarksMenuPopup menuitem{
   margin-top:-4px !important;
  }
... and voila!
Image

User avatar
back2themoon
Moon Magic practitioner
Moon Magic practitioner
Posts: 2402
Joined: 2012-08-19, 20:32

Re: How to reduce line spacing in my bookmark list?

Unread post by back2themoon » 2020-02-13, 19:04

Nice one. Quick question: does applying css visual 'tricks' have a performance impact on the browser?

User avatar
Boson
Moongazer
Moongazer
Posts: 13
Joined: 2020-02-10, 10:51

Re: How to reduce line spacing in my bookmark list?

Unread post by Boson » 2020-02-13, 19:46

back2themoon wrote:
2020-02-13, 19:04
Nice one. Quick question: does applying css visual 'tricks' have a performance impact on the browser?
I didn't notice a drop in performance. Everything running like clockwork.

User avatar
Moonchild
Pale Moon guru
Pale Moon guru
Posts: 35576
Joined: 2011-08-28, 17:27
Location: Motala, SE
Contact:

Re: How to reduce line spacing in my bookmark list?

Unread post by Moonchild » 2020-02-14, 00:36

back2themoon wrote:
2020-02-13, 19:04
Nice one. Quick question: does applying css visual 'tricks' have a performance impact on the browser?
It shouldn't, unless your "tricks" are creating specific issues with layer rendering (which is possible) or generally use expensive processes on often-updated elements.
"Sometimes, the best way to get what you want is to be a good person." -- Louis Rossmann
"Seek wisdom, not knowledge. Knowledge is of the past; wisdom is of the future." -- Native American proverb
"Linux makes everything difficult." -- Lyceus Anubite

Locked