[pre-commit.ci] auto fixes from pre-commit.com hooks

pre-commit-ci[bot] · pre-commit-ci[bot] · commit d20e39323d62 · 2025-10-20T02:00:58.000Z
for more information, see https://pre-commit.ci
diff --git a/sphinx_proof/nodes.py b/sphinx_proof/nodes.py
@@ -187,6 +187,7 @@ class unenumerable_node(nodes.Admonition, nodes.Element):
 class assumption_node(nodes.Admonition, nodes.Element):
     pass
 
+
 class notation_node(nodes.Admonition, nodes.Element):
     pass
 
diff --git a/sphinx_proof/proof_type.py b/sphinx_proof/proof_type.py
@@ -94,11 +94,13 @@ class AssumptionDirective(ElementDirective):
 
     name = "assumption"
 
+
 class NotationDirective(ElementDirective):
     """A custom notation directive."""
 
     name = "notation"
 
+
 class NotationDirective(ElementDirective):
     """A custom notation directive."""
 
