<commit_before>$(window).scroll
  ( function ()
    {
      $( "header" ).css
        ( "top"
        , Math.max(-280, Math.min(0, -$("body").scrollTop()))
        );
    }
  );

$("nav a").click
  ( function (ev)
    {
      var target = $("*[name=" + $(ev.target).attr("href").substr(1) + "]");

      $("html, body").animate({ scrollTop: $(target).offset().top - 80 });
      ev.preventDefault();
      ev.stopPropagation();
    }
  );

$("header > div").click
  ( function (ev)
    {
      $("html, body").animate({ scrollTop: 0 });
    }
  );
<commit_msg>Allow slow scrolling with shift.<commit_after>$(window).scroll
  ( function ()
    {
      $( "header" ).css
        ( "top"
        , Math.max(-280, Math.min(0, -$("body").scrollTop()))
        );
    }
  );

$("nav a").click
  ( function (ev)
    {
      var target = $("*[name=" + $(ev.target).attr("href").substr(1) + "]");

      $("html, body").animate
        ( { scrollTop : $(target).offset().top - 80 }
        , ev.shiftKey ? 2500 : 500
        );
      ev.preventDefault();
      ev.stopPropagation();
    }
  );

$("header > div").click
  ( function (ev)
    {
      $("html, body").animate({ scrollTop: 0 });
    }
  );

{'fraction_non_alphanumeric': 0.23869346733668342, 'fraction_numerical': 0.019262981574539362, 'mean_word_length': 2.0719794344473006, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2791917', 'n_tokens_mistral': 438, 'n_tokens_neox': 417, 'n_words': 69}