1 files changed, 6 insertions, 0 deletions
diff --git a/env.mkiv b/env.mkiv
index 1d74493..ee8619f 100644
--- a/env.mkiv
+++ b/env.mkiv
@@ -87,4 +87,10 @@
 
 \setupvimtyping[OrgBlkSrcCoq][margin=5mm]
 
+\setupregister[OrgConcept][
+  style={\bfa\tt},
+  color=darkcyan,
+  textstyle=tt,
+]
+
 \stopenvironment