refactor: improve responsive UI (#86) #62

	name: Build Pages
	on:
	push:
	branches:
	- main
	tags:
	- '*'
	workflow_dispatch:

	# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
	# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
	concurrency:
	group: "pages"
	cancel-in-progress: false

	# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: write
	pages: write
	id-token: write

	jobs:
	pages:
	runs-on: ubuntu-latest
	steps:
	-
	name: Checkout
	uses: actions/checkout@v4
	-
	name: Setup
	run: \|
	sudo apt update -q
	sudo apt install -yy python3 python3-pip graphviz
	pip install -r tools/requirements.txt
	git config user.name "Lottie CI"
	git config user.email "lottie@example.com"
	git fetch origin gh-pages --depth=1
	-
	name: Dev Docs
	if: ${{ github.ref == 'refs/heads/main' }}
	run: \|
	make lottie.schema.json
	tools/mike deploy dev --push
	-
	name: Docs
	if: ${{ github.ref != 'refs/heads/main' }}
	env:
	RELEASE_VERSION: ${{ github.ref_name }}
	run: \|
	make lottie.schema.json
	tools/mike deploy "$RELEASE_VERSION" --push

Provide feedback