Page

dont make all nested lists font size smaller, only for menu #4

	name: Page

	# only build single instance of docs for latest main branch
	on:
	push:
	branches:
	- master

	jobs:
	deploy:
	runs-on: ubuntu-latest

	permissions:
	contents: write
	pages: write
	id-token: write

	steps:
	- name: Checkout repo
	uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Install dependencies
	run: \|
	sudo apt update
	sudo apt install -y --install-recommends python3-markdown

	- name: Build site
	run: \|
	rm -rf output
	mkdir output
	sed -i 's\|https://www.xythobuz.de\|https://xythobuz.github.io\|g' macros.py
	./poole.py --build
	cp -r static/* output/

	- name: Setup Pages
	uses: actions/configure-pages@v2

	- name: Upload artifact
	uses: actions/upload-pages-artifact@v1
	with:
	path: 'output'

	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v1

Provide feedback