I use the developer manual that is stored in html on some sites (nextop.de, this site). One of the problems for me is that it is not in dark mode.
Here is a javascript bookmarklet that changes the html to darkmode, you have to manually activate it on each page.
Save the following code as a bookmark (Works on Fire Fox).
javascript:(function(){ document.body.bgColor = "#111111"; document.body.text = "#eeeeee";})();
EDIT: This bookmarklet does not work on this site. It only works on the nextop.de and cilinder.be which seem to be converted to html in 2000.
Hi do you browse this site and find a old outdated URL? Well with this JavaScript bookmarklet it will take the current dead link and go straight to web.archive.org to see if there is a old copy. This will make it easier for you to find a working link to use when you update the post on this forum :).
Save the following code as a bookmark (Works on
FireFox).
javascript:(function(){ var temporaryURL = (window.location.href); window.open('https://web.archive.org/web/*/'+temporaryURL); })();
How to use:Warning: JavaScript bookmarklets can be a
security risk if you don't trust the source or don't understand what it does.
javascript: window.location.href(); (
https://developer.mozilla.org/en-US/docs/Web/API/Location/href)
javascript: window.open(); (
https://developer.mozilla.org/en-US/docs/Web/API/Window/open)