Change section levels #26

	name: Publish to GitHub Pages with Lunr Search Extension
	on:
	push:
	branches: [main]
	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:
	concurrency:
	group: github-pages
	cancel-in-progress: false
	# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: read
	pages: write
	id-token: write
	jobs:
	build:
	runs-on: ubuntu-latest
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	- name: Configure Pages
	uses: actions/configure-pages@v5
	- name: Install Node.js
	uses: actions/setup-node@v4
	with:
	node-version: '18'
	- name: Install Antora with the Antora Lunr Extension
	run: npm i antora @antora/lunr-extension
	- name: Install chinese indexing support for Lunr # See https://gitlab.com/antora/antora-lunr-extension#user-content-support-for-other-languages
	run: npm i nodejieba
	- name: Generate English Site
	run: npx antora --to-dir build/sites/en antora/antora-playbook-en.yml
	- name: Generate French Site
	run: npx antora --to-dir build/sites/fr antora/antora-playbook-fr.yml
	- name: Generate Spanish Site
	run: npx antora --to-dir build/sites/es antora/antora-playbook-es.yml
	- name: Generate Chinese Site
	run: npx antora --to-dir build/sites/zh antora/antora-playbook-zh.yml
	- name: Upload Artifacts
	uses: actions/upload-pages-artifact@v3
	with:
	path: build/sites
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback