allow underline for links

This commit is contained in:
2025-12-05 11:32:56 +01:00
parent d21e0d3857
commit 359a0da640

View File

@@ -37,7 +37,7 @@
if type(it.dest) == label or type(it.dest) == location {
it;
} else {
text(it, fill: faculty_color);
text(underline(it), fill: faculty_color);
}
}
set highlight(fill: faculty_color.lighten(90%));