Hi Zerush, thanks for replying and providing the reference link, but did you read what I wrote? I can change the font size in devtools no problem, and I have it docked. But the font size is only "persisted" for that particular window unlinke the behaviour in Chrome and Firefox.
So each time I open devtools in a window I have to manually increase the font size two "notches" to suite my particular personal preference. I certainly hope the Vivaldi team fixes that for us developers.
Let's go European when watching this :-) https://www.dailymotion.com/video/x9kgpfq
#deGoogle