Some minor tweaks to help enable and preserve reader mode on Space Battles.
Ili estas versioj de tiu ĉi skripto, kie la kodo estas ĝisdatigita. Montri ĉiujn versiojn
fix issue preventing mini-ToC if no Reader Mode button on post
change "chapter" to "threadmark" in link title attributes
make mini-ToC hidden by default again
disable console.log I stupidly left in
added scroll icons with reader-mode links to mini-ToC if not in reader mode, tweaked mini-ToC builder code and CSS accordingly
add link to top of page in mini-ToC
fix error building mini-ToC if no pagination
add RSS link to top of mini-ToC
add highlight to current chapter in mini-ToC
finalise mini-ToC functionality
simplify menu command handling
fix menu command handling on mobile
use GM functions to let use toggle the Threadmark mini-ToC
add bulk of code ready for floating mini-table-of-contents
tweak code layout, add chapter title to HTML title in the scroll event listener
Added a scroll listener to add chapter post IDs to the URL hash, to help users keep their place.