fix(style): enum in def, mdframed for example, figure size for tikzcd

.vscode/settings.json

@@ -2,4 +2,7 @@
   "editor.formatOnSave": false,
   "explorer.excludeGitIgnore": false,
   "latex-workshop.latex.autoBuild.run": "never",
+  "conventionalCommits.scopes": [
+    "style"
+  ],
 }

tex/preamble.tex

@@ -120,7 +120,7 @@
 	frametitlebelowskip=0pt,
 	skipbelow=2pt,
 	frametitlefont=\bfseries,
-	innertopmargin=4pt,
+	innertopmargin=4ex,
 	innerbottommargin=8pt,
 	nobreak=true,
 	linecolor=RawSienna,

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}
-}}

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
     }
 }