(function($){$(function(){
- t = $('#global-progress').data('t');
+ let t = $('#global-progress').data('t');
+
function upd_t() {
$text = $('#main-text #book-text');
+ if (!$text.length) return;
+
texttop = $text.offset().top;
$footnotes = $('#footnotes', $text);