From 68ec8c38a7507141036db038b2dea667b8ee7db4 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Thu, 12 Mar 2026 22:02:52 -0400
Subject: [PATCH] Updated spec config.

---
 .chktexrc                  | 2 +-
 spec.toml                  | 4 ++--
 src/dg/derivative/sets.tex | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.chktexrc b/.chktexrc
index e0cc452..da46eb8 100644
--- a/.chktexrc
+++ b/.chktexrc
@@ -1 +1 @@
-CmdLine { -n24 -n9 -n17 }
\ No newline at end of file
+CmdLine { -n24 -n9 -n17 -n25 }
\ No newline at end of file
diff --git a/spec.toml b/spec.toml
index 76b6b5f..a43c18d 100644
--- a/spec.toml
+++ b/spec.toml
@@ -1,6 +1,6 @@
 database = "spec.db"
 document = "document.tex"
-siteTitle = "Garden"
+siteTitle = "Jerry's Digital Garden"
 
 [compiler]
 compileAll = false
@@ -9,7 +9,7 @@ indirectReferences = true
 
 [website]
 font = "roboto"
-primaryColour = "blue"
+primaryColour = "violet"
 neutralColour = "grey"
 searchLimit = 16
 maxSearchPages = 48
diff --git a/src/dg/derivative/sets.tex b/src/dg/derivative/sets.tex
index 4972e89..ac5b949 100644
--- a/src/dg/derivative/sets.tex
+++ b/src/dg/derivative/sets.tex
@@ -40,7 +40,7 @@
     Let $E, F$ be TVSs over $K \in \RC$ with $F$ being separated, $\sigma \subset B(E)$ be an upward-directed family that contains all finite sets, $U \subset E$ be open, and $f: U \to F$, then $f$ is \textbf{$\sigma$-differentiable on $U$} if it is $\sigma$-differentiable at every point in $U$. In which case, the map $D_\sigma f: U \to L(E; F)$ is the \textbf{$\sigma$-derivative} of $f$.
 \end{definition}
 
-\begin{definition}]
+\begin{definition}
 \label{definition:derivative-garden}
     Let $E, F$ be TVSs over $K \in \RC$ with $F$ being separated, $\sigma^E_{\text{Fin}}, \sigma^E_{c}, \sigma^E_b \subset 2^E$ be the collection of all finite, compact, and bounded subsets, respectively, then differentiability with respect to $\sigma^E_{\text{Fin}}, \sigma^E_{c}, \sigma^E_b$ correspond to \textbf{Gateaux}, \textbf{Hadamard}, and \textbf{Fréchet} differentiability.
 \end{definition}