Menu font size

Streptococcus

Is there any way to increase the font size of menus from the bookmarks toolbar folders? It is tiny, and I am having a hard time reading it. Do bookmarks menus from the toolbar have a specific element name?

A Former User

@Streptococcus Maybe. Yes, I understand this. Surely—but they're not part of the HTML.

Now seriously: I think you can achieve this from your OS settings, the Chromium menus should (but may not) respect it.

Streptococcus

The operating system is not controlling what is in the internal bookmarks toolbar. It is settings in Vivaldi itself doing that. The font of the items in the toolbar itself is fine. The font in a menu pulled down from that is tiny, and has a different background.
The bookmarks menu from the menu bar outside the application at the top of the screen is controlled by the operating system, and it is fine.

In my stylesheet, I tried

.menu-iconic-bookmark-item {
	font size: 15px !important;}

It did not work. What is the element name used by Vivaldi?

nomadic

@Streptococcus It isn't part of the HTML UI; @potmeklecbohdan is correct. A good way you can verify this is by going to the appearance tab in settings and increasing the "User Interface Zoom." The bookmark folder dropdowns, title hover text, and right click menus all remain the same size.

There is obviously some customization available in this through Chromium as Opera, for example, has slightly different coloring for title hover text. I spent a bit of time going through Vivaldi's source code to see if I could find the applicable areas to change, but I quickly gave up because of the complexity.

OS settings are the only real way to change this without figuring out a lot about Chromium...

Streptococcus

OS settings are no help with internal interfaces. There is only a limited amount I can do with them anyway, with respect to fonts.

nomadic

@Streptococcus What OS are you running? Might let us help.

If you ever look into theming Windows, you will quickly learn about how many components programs get from Windows APIs and whatnot.

nomadic

Here are some settings for Windows 10:

The setting in question is Windows 10 Settings, Ease of Access, Display, Make Text Bigger.

windows 100.png

Settings	Left Image	Right Image
Windows Make Text Bigger	100%	150%
Vivaldi User Interface Zoom	100%	70%

This will increase font size system wide, so you probably don't want to go as high as I did for the example. Will make everything else look pretty ugly. If you just increase it a little bit, then you should be good to go.

Streptococcus

@nomadic
I use MacOS 10.12.6 (Sierra). The only way I could change any fonts in the interface was with Tinkertool, an application which can make it easier to change settings. Tinkertool cannot affect all the fonts, however, just System, Messages, Labels, Help Tags, Window Title Bars, and Window Utility Title Bars. It affects the main menu bar (which I guess is part of System).

nomadic

@Streptococcus Ah, it has been a good 9 or 10 years since I used MacOS. Sorry, I couldn't help.

kichrot

@nomadic
To change system fonts in WINDOWS 10, which affect the display of fonts in the VIVALDI menu, it is more convenient and intuitive to use the small and wonderful utility Advanced System Font Changer