From e50098518ba8d870134ee3f7d5a298f1cfd697cd Mon Sep 17 00:00:00 2001
From: szdytom <szdytom@qq.com>
Date: Fri, 11 Jul 2025 14:17:42 +0800
Subject: [PATCH] tweak styles

Signed-off-by: szdytom <szdytom@qq.com>
---
 styles.typ | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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