From 22adbfe1c6a378056f410f0978ff92d676c775f0 Mon Sep 17 00:00:00 2001
From: Johanna Stuber <johanna.stuber@gmx.net>
Date: Thu, 4 Mar 2021 19:17:55 +0100
Subject: [PATCH] highlight 'highlighted'

---
 src/main/resources/language/translation_de.properties | 4 ++--
 src/main/resources/language/translation_en.properties | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties
index 8e01964..2f2d3f3 100644
--- a/src/main/resources/language/translation_de.properties
+++ b/src/main/resources/language/translation_de.properties
@@ -113,9 +113,9 @@ root.absLetLatex=\
 \\end{prooftree}
 
 root.infinite_type = Der eingegebene Term ist nicht typisierbar: \
-  Durch den hervorgehobenen Constraint würde sich ein unendlicher Typ ergeben!
+  Durch den {\\color{#f00}hervorgehobenen} Constraint würde sich ein unendlicher Typ ergeben!
 root.different_types = Der eingegebene Term ist nicht typisierbar: \
-  In dem hervorgehobenen Constraint werden zwei unvereinbare Typen gleichgesetzt!
+  In dem {\\color{#f00}hervorgehobenen} Constraint werden zwei unvereinbare Typen gleichgesetzt!
 
 share.heading=Teilen
 share.url.label=URL
diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties
index eecda9b..4ef831e 100644
--- a/src/main/resources/language/translation_en.properties
+++ b/src/main/resources/language/translation_en.properties
@@ -106,9 +106,9 @@ root.absLetLatex=\
 \\end{prooftree}
 
 root.infinite_type = The entered term cannot be typed: \
-  The highlighted constraint would cause an infinite type!
+  The {\\color{#f00}highlighted} constraint would cause an infinite type!
 root.different_types = The entered term cannot be typed: \
-  The highlighted constraint contains two incompatible types!
+  The {\\color{#f00}highlighted} constraint contains two incompatible types!
 
 share.heading=Share
 share.url.label=URL