Change default color: purple -> violet.

This commit is contained in:
Jeff Lance 2017-08-24 16:32:08 +02:00
parent 0f51b22cb5
commit a5bd1c1bcc

View File

@ -80,7 +80,7 @@
\colorlet{definition}{red}
\colorlet{theorem}{red}
\colorlet{property}{red}
\colorlet{proof}{purple}
\colorlet{proof}{violet}
\colorlet{vocabulary}{blue}
\colorlet{remark}{red}
\colorlet{method}{orange}