News for hackers. Stuff that matters.
Re:Show HN: Keypirinha, a new semantic launcher for keyboard... by captaindiego on Wednesday March 02, 2016 @05:34AM (#11209127)
Looking at the source I think he's using Sphinx (Python static generator) with the RTD theme, or some variation.
Re:Show HN: Keypirinha, a new semantic launcher for keyboard... by polyvertex on Wednesday March 02, 2016 @05:35AM (#11209130)
That's right, with the vanilla ReadTheDocs theme (no variation).