[anyfoo]

I’ve added a user style sheet in Safari somewhat recently to fix an annoying video player. I think it was easy to find in Settings. Can someone check if that works? Not near my laptop right now, and I use a 3rd party app on the phone.

[kalleboo]

It's easy to add as a user style sheet in Safari (Preferences > Advanced > Stylesheet), but there's no CSS selector to limit it to a domain, so it makes the whole web turn Windows 95 style, not just Hacker News.