4 commits

Author	SHA1	Message	Date
NotAShelf	f8e1856620	docs: better performance in the resource widget ft. Keira and Michaili	2024-12-10 23:10:05 +03:00
NotAShelf	781385f991	docs: perform DOM manipulation in batches; preprocess data	2024-12-10 17:15:23 +03:00
NotAShelf	37dc96575d	docs: add search widget to options page	2024-12-09 17:40:16 +03:00
NotAShelf	cb10266dce	docs: add anchors to individual headers ... Taken from Nixpkgs manual derivation, neat.	2024-11-25 18:01:53 +03:00