szTom/LADRSolutions
1
0
Fork 0
mirror of https://github.com/szdytom/LADRSolutions.git synced 2025-10-20 00:40: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-09 22:41:55 +08:00
parent 4537beaf6c
commit ae202bf5f2
Signed by: szTom
GPG Key ID: 072D999D60C6473C
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
styles.typ
View File

@ -123,9 +123,9 @@
} }
#let fancy_term_box(title, value) = { #let fancy_term_box(title, value) = {
box(baseline: 3pt,{ box(baseline: 3pt, {
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("30"), inset: 3pt, text([#title], fill: text_color_set.at("100"), font: zhfont_sans, weight: "medium"))
box(fill: theme_color_set.at("60"), inset: 3pt, text([#value], fill: white, font: zhfont_sans, weight: "medium"))}, box(fill: theme_color_set.at("80"), inset: 3pt, text([#value], fill: white, font: zhfont_sans, weight: "medium"))},
) )
} }
@ -242,12 +242,12 @@
"explain": "解释", "explain": "解释",
) )
tab tab
text(splt.at(type), font: zhfont_sans, weight: "medium", fill: theme_color_set.at("100")) text(splt.at(type), font: zhfont_sans, weight: "medium", fill: text_color_set.at("100"))
h(0.5em) h(0.5em)
s s
if type == "proof" { if type == "proof" {
h(1fr) h(1fr)
text(sym.square.filled, fill: theme_color_set.at("60")) text(sym.square.filled, fill: theme_color_set.at("80"))
} }
place.flush() place.flush()
} }