<commit_before># Site wide configuration

title: Lean
description: The Lean Theorem Prover
logo: lean_logo.svg
teaser:
locale:
baseurl: https://leanprover.github.io
safe: true

# Jekyll configuration

sass:
    sass_dir: _sass
    style: compressed
permalink: /:categories/:title/
markdown: kramdown
kramdown:
  input: GFM
  hard_wrap: false
highlighter: pygments
gems:
  - jekyll-sitemap


# Site owner
owner:<commit_msg>fix(_config.yml): use 'rouge' highlighter<commit_after># Site wide configuration

title: Lean
description: The Lean Theorem Prover
logo: lean_logo.svg
teaser:
locale:
baseurl: https://leanprover.github.io
safe: true

# Jekyll configuration

sass:
    sass_dir: _sass
    style: compressed
permalink: /:categories/:title/
markdown: kramdown
kramdown:
  input: GFM
  hard_wrap: false
highlighter: rouge
gems:
  - jekyll-sitemap


# Site owner
owner:
{'fraction_non_alphanumeric': 0.09205983889528194, 'fraction_numerical': 0.0, 'mean_word_length': 4.76158940397351, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 2, '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': '5057247', 'n_tokens_mistral': 322, 'n_tokens_neox': 315, 'n_words': 86}