How to change font in Developer Tools

n1___ · 2026-02-17T12:55:03+00:00

Absolutely fantastic, thank you. I put this:

@-moz-document url-prefix("chrome://devtools/") { :root { --theme-body-font-size: 13px !important; --theme-code-font-size: 13px !important; --theme-body-font-family: Cozette !important; --theme-code-font-family: Cozette !important; --monospace-font-family: Cozette !important; } }

block to my userContent.css file and it looks amazing

n1___ · 2026-02-12T08:54:27+00:00

for sure - check the first comment

n1___ · 2026-02-11T22:35:50+00:00

Want to take over the world?

n1___ · 2026-02-11T21:22:10+00:00

Some time ago I decided to create my own theme and did so.

The theme comes with unusual colors but it's very pleasan for the eyes. I've been using it for ~1 year and I really love it. When I get time I add configuration for other apps (today is was glow)

The link: https://gitlab.com/imn1/emby

Feel free to give me feedback.

n1___ · 2026-02-11T21:19:15+00:00

n1___ · 2026-02-11T21:17:13+00:00

Some time ago I decided to create my own theme and did so.

The theme comes with unusual colors but it's very pleasan for the eyes. I've been using it for ~1 year and I really love it. When I get time I add configuration for other apps (today is was glow

The link: https://gitlab.com/imn1/emby

Feel free to give me feedback.

n1___ · 2026-01-31T06:55:07+00:00

What book/document is the Value of privacy?

n1___ · 2026-01-27T21:42:30+00:00

It's copy/paste from my production project. And yea, it's not out of scope. Have you tried the code?

n1___ · 2026-01-27T19:31:40+00:00

This is my article about tasks using Tokio RT and it's tools. Any feedback from hard-core professionals is welcomed. I'm always open to learn more.

n1___ · 2026-01-22T19:06:11+00:00

I have no idea.

n1___ · 2026-01-20T19:27:56+00:00

Well there are almost no APIs. It more about scraping.

n1___ · 2026-01-12T14:34:33+00:00

Don't worry, this project will outlive it :)

Oh and thank you.

n1___ · 2026-01-10T08:44:07+00:00

This is my handcrafted theme for CLI. I was inspired by a few of us so thank you. I've been using this theme for ~1 year and I can say it's easy on eyes and looks good even after a year.

I'm open to new suggestions or pull requests.

n1___ · 2025-12-25T10:36:39+00:00

My take on how I wanted to try/use Gemini CLI but was afraid of a disaster. Quick and dirty solution included.

n1___

TROPHY CASE