diff --git a/styles.typ b/styles.typ
index 6f08f88..24f3189 100644
--- a/styles.typ
+++ b/styles.typ
@@ -124,7 +124,7 @@
 
 #let fancy_term_box(title, value) = {
 	box(baseline: 3pt, {
-		box(fill: theme_color_set.at("30"), inset: 3pt, text([#title], fill: text_color_set.at("100"), font: zhfont_sans, weight: "medium"))
+		box(fill: theme_color_set.at("20"), inset: 3pt, text([#title], fill: theme_color_set.at("100"), font: zhfont_sans, weight: "medium"))
 		box(fill: theme_color_set.at("80"), inset: 3pt, text([#value], fill: white, font: zhfont_sans, weight: "medium"))},
 	)
 }
@@ -259,7 +259,7 @@
 	s
 	if type == "proof" {
 		h(1fr)
-		text(sym.square.filled, fill: theme_color_set.at("80"))
+		text(sym.square.filled, fill: aux_color_set.at("100"))
 	}
 	place.flush()
 }