Make filter buttons consistent between pages #10154

	name: Markdownlint

	permissions:
	contents: read

	# run even on changes without markdown changes, so that we can
	# make it in GitHub a required check for PR's
	on:
	pull_request:

	jobs:
	lint:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	- name: Use Node.js
	uses: actions/setup-node@v4
	with:
	node-version: 20.x
	- name: Run Markdownlint
	run: \|
	echo "::add-matcher::.github/workflows/markdownlint-problem-matcher.json"
	npm i -g markdownlint-cli
	markdownlint --ignore '.dotnet/' --ignore '*/AnalyzerReleases..md' '*/.md'

Provide feedback