Hacker News Reader

I would be shocked if something from Stripe was using an OTS theme.

The styles and animations are quite similar to the Stripe dashboard, so I would assume it's all internal styling.