From 179dee5d4a5291c0733f3e704ef711fcd88c0abd Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Thu, 2 Feb 2023 14:19:15 +0100
Subject: [PATCH] Changed the error margin markers to use red text

---
 specification/dart.sty | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/specification/dart.sty b/specification/dart.sty
index 72ec7e2966..c7c136d035 100644
--- a/specification/dart.sty
+++ b/specification/dart.sty
@@ -194,11 +194,11 @@
 
 % Mark a compile-time error in the margin.
 \newcommand{\Error}[1]{%
-  \leavevmode\marginpar{\ensuremath{\ominus}}{#1}}
+  \leavevmode\marginpar{\ensuremath{\textcolor{red}{\ominus}}}{#1}}
 
 % Mark a dynamic error in the margin.
 \newcommand{\DynamicError}[1]{%
-  \leavevmode\marginpar{\Lightning}{#1}}
+  \leavevmode\marginpar{\textcolor{red}{\Lightning}}{#1}}
 
 % Used to specify comma separated lists of similar symbols.
 \newcommand{\List}[3]{\ensuremath{{#1}_{#2},\,\ldots,\ {#1}_{#3}}}