From 5bfbaf397b26e20b9f2e8f7e1246674e2c2417b3 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Thu, 23 May 2024 00:56:51 -0700 Subject: [PATCH] Allow both 'agda' and 'Agda' in highlight groups Signed-off-by: Danila Fedorin --- layouts/partials/highlightgroup.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/layouts/partials/highlightgroup.html b/layouts/partials/highlightgroup.html index 86ce47b..ff4f92b 100644 --- a/layouts/partials/highlightgroup.html +++ b/layouts/partials/highlightgroup.html @@ -2,7 +2,7 @@ {{- if (or .firstLine .lastLine) -}} {{- page.Scratch.Add "highlightGroupAttrs" (printf " data-first-line=\"%v\" data-last-line=\"%v\"" .firstLine .lastLine) -}} {{- end -}} -{{- if eq .language "Agda" -}} +{{- if eq (lower .language) "agda" -}} {{- page.Scratch.Add "highlightGroupAttrs" " data-agda-block" -}} {{- end -}} {{ partial "group.html" (dict "url" .url "path" .path "comment" .comment "content" (highlight .code .language .opts) "attrs" (page.Scratch.Get "highlightGroupAttrs")) }}