diff --git a/Ghidra/Extensions/SymbolicSummaryZ3/certification.manifest b/Ghidra/Extensions/SymbolicSummaryZ3/certification.manifest
index f6a30e4aed..f064b42140 100644
--- a/Ghidra/Extensions/SymbolicSummaryZ3/certification.manifest
+++ b/Ghidra/Extensions/SymbolicSummaryZ3/certification.manifest
@@ -2,3 +2,4 @@
 ##MODULE IP: MIT
 Module.manifest||GHIDRA||||END|
 README.md||GHIDRA||||END|
+data/symbolic.summary.z3.theme.properties||GHIDRA||||END|
diff --git a/Ghidra/Extensions/SymbolicSummaryZ3/data/symbolic.summary.z3.theme.properties b/Ghidra/Extensions/SymbolicSummaryZ3/data/symbolic.summary.z3.theme.properties
new file mode 100644
index 0000000000..fca94bbb0a
--- /dev/null
+++ b/Ghidra/Extensions/SymbolicSummaryZ3/data/symbolic.summary.z3.theme.properties
@@ -0,0 +1,7 @@
+[Defaults]
+
+// TODO update this color to the preferred non-temporary value
+color.fg.listing.z3symbolic = color.palette.cyan
+
+
+[Dark Defaults]
\ No newline at end of file