Hacker News new | ask | show | jobs
by asah 296 days ago
Beautiful. Bug? when I narrowed the window, the side notes disappeared?
3 comments
dtj1123 295 days ago
On narrower screens they become togglable elements. Try clicking the little reference numbers.
link
giveita 292 days ago
Causing a 300 year quest to prove a theorem.
link
klabetron 295 days ago
Author calls this out in the document. It’s intentional.
link