szTom/LADRSolutions
1
0
Fork 0
mirror of https://github.com/szdytom/LADRSolutions.git synced 2025-10-19 16:30:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

tweak styles

Browse Source 
Signed-off-by: szdytom <szdytom@qq.com>
This commit is contained in:
方而静 2025-07-11 14:17:42 +08:00
parent 862e404614
commit e50098518b
Signed by: szTom
GPG Key ID: 072D999D60C6473C
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
styles.typ
View File

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