Skip to content

Commit

Permalink
Changed the error margin markers to use red text
Browse files Browse the repository at this point in the history
  • Loading branch information
eernstg committed Feb 2, 2023
1 parent 7bec6da commit 179dee5
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions specification/dart.sty
Original file line number Diff line number Diff line change
Expand Up @@ -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}}}
Expand Down

0 comments on commit 179dee5

Please sign in to comment.