This commit is contained in:
2025-07-11 01:04:39 +02:00
parent d498205e42
commit 4436f141eb
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -1,8 +1,8 @@
#import "theme.typ": *
#import "prelude.typ": *
#import "skein.typ": *
#import "@preview/cetz:0.3.4"
#import "skein.typ": *
#import "@preview/drafting:0.2.2": inline-note, margin-note, set-margin-note-defaults, set-page-properties
#import "@preview/colorful-boxes:1.1.0": stickybox
+1 -1
View File
@@ -378,7 +378,7 @@
}
}
// Highlight
// Highlight ref
// show ref: it => {
// set text(fill: red.mix(black))
// box(fill: red.mix(white), outset: (y: 0.5em), it)