chore: move fonts CSS for PDF into a separate file #501

	# Copyright © Michal Čihař <[email protected]>
	#
	# SPDX-License-Identifier: CC0-1.0

	name: mypy

	on:
	push:
	branches-ignore:
	- deepsource-fix-**
	- renovate/**
	- weblate
	pull_request:

	permissions:
	contents: read

	jobs:
	mypy:
	runs-on: ubuntu-24.04

	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 2

	- uses: astral-sh/setup-uv@v3
	with:
	enable-cache: true
	cache-dependency-glob: ''
	cache-suffix: '3.13'
	- name: Setup Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.13'
	- name: Install pip dependencies
	run: uv pip install --system -r requirements-dev.txt

	- name: Run mypy
	run: \|
	echo "::add-matcher::.github/matchers/mypy.json"
	mypy --show-column-numbers weblate_web
	echo "::remove-matcher owner=mypy::"

Provide feedback