From 56898766e24fdd14ea9db2ba2e612fab03790ed6 Mon Sep 17 00:00:00 2001
From: utensil <utensilcandel@gmail.com>
Date: Thu, 30 May 2024 14:59:23 +0800
Subject: [PATCH] fix(style): enum in def, mdframed for example, figure size
 for tikzcd

---
 .vscode/settings.json |  3 +++
 tex/preamble.tex      |  2 +-
 trees/ca-000C.tree    | 27 +++++++++++++++++----------
 trees/macros.tree     |  9 +++++++++
 4 files changed, 30 insertions(+), 11 deletions(-)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index 6dcca69..471a701 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -2,4 +2,7 @@
   "editor.formatOnSave": false,
   "explorer.excludeGitIgnore": false,
   "latex-workshop.latex.autoBuild.run": "never",
+  "conventionalCommits.scopes": [
+    "style"
+  ],
 }
\ No newline at end of file
diff --git a/tex/preamble.tex b/tex/preamble.tex
index 53353d5..fe6917f 100644
--- a/tex/preamble.tex
+++ b/tex/preamble.tex
@@ -120,7 +120,7 @@
 	frametitlebelowskip=0pt,
 	skipbelow=2pt,
 	frametitlefont=\bfseries,
-	innertopmargin=4pt,
+	innertopmargin=4ex,
 	innerbottommargin=8pt,
 	nobreak=true,
 	linecolor=RawSienna,
diff --git a/trees/ca-000C.tree b/trees/ca-000C.tree
index 238e385..b672cab 100644
--- a/trees/ca-000C.tree
+++ b/trees/ca-000C.tree
@@ -18,16 +18,23 @@
 
 \p{  Given #{f : M \lmap{R} A}, which \vocab{is Clifford}, #{F = \operatorname{lift} f} (denoted #{\bar{f}} in some literatures), we have:}
 
-\p{  1. #{F \circ \iota = f}, i.e. the following diagram commutes:}
+\ol{
+  \li{
+    \p{  #{F \circ \iota = f}, i.e. the following diagram commutes:}
 
-\tikz{
-\begin{tikzcd}[column sep=huge, row sep=huge]
-    \Cl(Q) \arrow[r, "F = \operatorname{lift} f"] & A \\
-    V \arrow[ru, "f"'] \arrow[u, "\iota"]
-\end{tikzcd}
-}
+    \tikz{
+    \begin{tikzcd}[column sep=huge, row sep=huge]
+        \Cl(Q) \arrow[r, "F = \operatorname{lift} f"] & A \\
+        V \arrow[ru, "f"'] \arrow[u, "\iota"]
+    \end{tikzcd}
+    }
+  }
+
+  \li{
+    \p{  #{\operatorname{lift}} is unique, i.e. given #{G : \Cl(Q) \amap A}, we have:}
 
-\p{  2. #{\operatorname{lift}} is unique, i.e. given #{G : \Cl(Q) \amap A}, we have:}
+    \p{  #{ G \circ \iota = f \iff G = \operatorname{lift} f}
+    }}
+  }
+}
 
-\p{  #{ G \circ \iota = f \iff G = \operatorname{lift} f}
-}}
diff --git a/trees/macros.tree b/trees/macros.tree
index 267b9b2..1b1b918 100644
--- a/trees/macros.tree
+++ b/trees/macros.tree
@@ -146,7 +146,16 @@
       \usepackage{newpxtext,newpxmath}
       \usepackage{tikz-cd}
     }{
+        \startverb
+        \begin{minipage}{1.0\linewidth}
+        \begin{figure}[H]
+        \centering
+        \stopverb
         \a
+        \startverb
+        \end{figure}
+        \end{minipage}
+        \stopverb
     }
 }