H4 for see also, as our H5 is smaller than Lean's.

json-schema-org · Aug 10, 2022 · 7f57b0f · 7f57b0f
1 parent 77d5a40
commit 7f57b0f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/learn/glossary.md b/learn/glossary.md
@@ -33,6 +33,6 @@ Distinguishing between whether a document is normative or not is intended to cla
 JSON Schema's normative documents notably include its [specification](https://json-schema.org/specification.html).
 This page for instance, not being a normative document, is not able to proscribe new JSON Schema behavior not already covered by the specification.
 
-##### See also
+#### See also
 
 * [normative](https://developer.mozilla.org/en-US/docs/Glossary/Normative) and [non-normative](https://developer.mozilla.org/en-US/docs/Glossary/non-normative) in the Mozilla Glossary, and its links