Replace metropole-grelin with body.typ, merge styling into md.typ, drop glossary support, and clean unused theme tokens. Co-authored-by: Cursor <cursoragent@cursor.com>
26 lines
611 B
Plaintext
26 lines
611 B
Plaintext
#import "@preview/codly:1.3.0": *
|
|
#import "@preview/codly-languages:0.1.10": codly-languages
|
|
#import "theme.typ": *
|
|
|
|
#let codly-init-rule = codly-init.with()
|
|
|
|
#let codly-config = codly(
|
|
languages: codly-languages,
|
|
fill: code-block-fill,
|
|
radius: code-block-radius,
|
|
stroke: none,
|
|
zebra-fill: none,
|
|
number-format: none,
|
|
display-icon: false,
|
|
display-name: true,
|
|
default-color: color-body,
|
|
lang-stroke: (_) => none,
|
|
lang-fill: (_) => code-block-fill,
|
|
lang-radius: code-block-radius,
|
|
)
|
|
|
|
#let code-token-highlight-init(doc) = {
|
|
show raw.where(block: true): set text(fill: color-body)
|
|
doc
|
|
}
|