diff --git a/src/ui/ColorManager.java b/src/ui/ColorManager.java
index 6ae608e6ed071e80bc5d000547cb165f80488dc3..3442e5118f7a342e3cf4cca0f55dbf6c4eda6fe1 100755
--- a/src/ui/ColorManager.java
+++ b/src/ui/ColorManager.java
@@ -127,7 +127,7 @@ public class ColorManager {
     public static  Color TML_PORT_REQUEST = new Color(196, 166, 122);
 
     public static final Color UML_NOTE = Color.lightGray;
-    public static final Color PRAGMA = Color.orchid;
+    public static final Color PRAGMA = new Color(100, 0, 100);
 
     public static final Color SD_REFERENCE = new Color(104, 229, 255);
     public static final Color IOD_REFERENCE = new Color(216, 187, 249);