summaryrefslogtreecommitdiff
path: root/systems/android/hktex/HKtex2/src/worker4math/hktex2/Colorfile.java
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /systems/android/hktex/HKtex2/src/worker4math/hktex2/Colorfile.java
Initial commit
Diffstat (limited to 'systems/android/hktex/HKtex2/src/worker4math/hktex2/Colorfile.java')
-rw-r--r--systems/android/hktex/HKtex2/src/worker4math/hktex2/Colorfile.java173
1 files changed, 173 insertions, 0 deletions
diff --git a/systems/android/hktex/HKtex2/src/worker4math/hktex2/Colorfile.java b/systems/android/hktex/HKtex2/src/worker4math/hktex2/Colorfile.java
new file mode 100644
index 0000000000..1fa0c600e6
--- /dev/null
+++ b/systems/android/hktex/HKtex2/src/worker4math/hktex2/Colorfile.java
@@ -0,0 +1,173 @@
+//
+// Latex Project Public Licence (lppl1.3) applies
+// Originally written by Kwanleung Tse
+// First Release : 1st July, 2014
+// Last Update : 27th September, 2014
+//
+//
+
+package worker4math.hktex2;
+
+
+import java.util.HashMap;
+
+public class Colorfile{
+ HashMap<String, String> colorinteger = new HashMap<String,String>();
+
+
+ public void colorfile (){
+
+
+ colorinteger.put("aliceblue","0xFFF0F8FF" );
+ colorinteger.put("antiquewhite","0xFFFAEBD7" );
+ colorinteger.put("aquamarine","0xFF7FFFD4" );
+ colorinteger.put("aure","0xFFF0FFFF" );
+ colorinteger.put("banana","0xFFE3CF57" );
+ colorinteger.put("beige","0xFFF5F5DC" );
+ colorinteger.put("bisque","0xFFFFE4C4" );
+ colorinteger.put("black","0xFF000000" );
+ colorinteger.put("blanchedalmond","0xFFFFEBCD" );
+ colorinteger.put("blueviolet","0xFF8A2BE2" );
+ colorinteger.put("blue","0xFF0000FF" );
+ colorinteger.put("brick","0xFF9C661F" );
+ colorinteger.put("brown","0xFFA52A2A" );
+ colorinteger.put("burlywood","0xFFDEB887" );
+ colorinteger.put("burntsienna","0xFF8A360F" );
+ colorinteger.put("burntumber","0xFF8A3324" );
+ colorinteger.put("cadetblue","0xFF5F9EA0" );
+ colorinteger.put("cadmiumorange","0xFFFF6103" );
+ colorinteger.put("cadmiumyellow","0xFFFF9912" );
+ colorinteger.put("carrot","0xFFED9121" );
+ colorinteger.put("chartreuse","0xFF7FFF00" );
+ colorinteger.put("chocolate","0xFFD2691E" );
+ colorinteger.put("cobalt","0xFF3D59AB" );
+ colorinteger.put("cobaltgreen","0xFF3D9140" );
+ colorinteger.put("coldgrey","0xFF808A87" );
+ colorinteger.put("cornflowerblue","0xFF6495ED" );
+ colorinteger.put("cornsilk","0xFFFFF8DC" );
+ colorinteger.put("coral","0xFFFF7F50" );
+ colorinteger.put("crimson","0xFFDC143C" );
+ colorinteger.put("cyan","0xFF00FFFF" );
+ colorinteger.put("darkgoldenrod","0xFFB8860B" );
+ colorinteger.put("darkgray","0xFFA9A9A9" );
+ colorinteger.put("darkgreen","0xFF006400" );
+ colorinteger.put("darkkhaki","0xFFBDB76B" );
+ colorinteger.put("darkolivegreen","0xFF556B2F" );
+ colorinteger.put("darkorange","0xFFFF8C00" );
+ colorinteger.put("darkorchid","0xFF9932CC" );
+ colorinteger.put("darksalmon","0xFFE9967A" );
+ colorinteger.put("darkseagreen","0xFF8FBC8F" );
+ colorinteger.put("darkslateblue","0xFF483D8B" );
+ colorinteger.put("darkslategray","0xFF2F4F4F" );
+ colorinteger.put("darkturquoise","0xFF00CED1" );
+ colorinteger.put("ddarkviolet","0xFF9400D3" );
+ colorinteger.put("deeppink","0xFFFF1493" );
+ colorinteger.put("deepskyblue","0xFF00BFFF" );
+ colorinteger.put("dimgray","0xFF696969" );
+ colorinteger.put("dodgerblue","0xFF1E90FF" );
+ colorinteger.put("eggshell","0xFFFCE6C9" );
+ colorinteger.put("emeraldgreen","0xFF00C957" );
+ colorinteger.put("firebrick","0xFFB22222" );
+ colorinteger.put("flesh","0xFFFF7D40" );
+ colorinteger.put("floralwhite","0xFFFFFAF0" );
+ colorinteger.put("forestgreen","0xFF228B22" );
+ colorinteger.put("gainsboro","0xFFDCDCDC" );
+ colorinteger.put("ghostwhite","0xFFF8F8FF" );
+ colorinteger.put("gold","0xFFFFD700" );
+ colorinteger.put("goldenrod","0xFFDAA520" );
+ colorinteger.put("gray","0xFF808080" );
+ colorinteger.put("green","0xFF008000" );
+ colorinteger.put("greenyellow","0xFFADFF2F" );
+ colorinteger.put("honeydew","0xFFF0FFF0" );
+ colorinteger.put("hotpink","0xFFFF69B4" );
+ colorinteger.put("indianred","0xFFCD5C5C" );
+ colorinteger.put("indigo","0xFF4B0082" );
+ colorinteger.put("ivory","0xFFFFFFF0" );
+ colorinteger.put("ivoryblack","0xFF292421" );
+ colorinteger.put("khaki","0xFFF0E68C" );
+ colorinteger.put("lavender","0xFFE6E6FA" );
+ colorinteger.put("lavenderblush","0xFFFFF0F5" );
+ colorinteger.put("lawngreen","0xFF7CFC00" );
+ colorinteger.put("lemonchiffon","0xFFFFFACD" );
+ colorinteger.put("lightblue","0xFFADD8E6" );
+ colorinteger.put("lightcoral","0xFFF08080" );
+ colorinteger.put("lightcyan","0xFFE0FFFF" );
+ colorinteger.put("lightgrey","0xFFD3D3D3" );
+ colorinteger.put("lightgoldenrod","0xFFFFEC8B" );
+ colorinteger.put("lightgoldenrodyellow","0xFFFAFAD2" );
+ colorinteger.put("lightpink","0xFFFFB6C1" );
+ colorinteger.put("lightsalmon","0xFFFFA07A" );
+ colorinteger.put("lightseagreen","0xFF20B2AA" );
+ colorinteger.put("lightskyblue","0xFF87CEFA" );
+ colorinteger.put("lightslateblue","0xFF8470FF" );
+ colorinteger.put("lightslategray","0xFF778899" );
+ colorinteger.put("lightsteelblue","0xFFB0C4DE" );
+ colorinteger.put("lightyellow","0xFFFFFFE0" );
+ colorinteger.put("limegreen","0xFF32CD32" );
+ colorinteger.put("linen","0xFFFAF0E6" );
+ colorinteger.put("magenta","0xFFFF00FF" );
+ colorinteger.put("manganeseblue","0xFF03A89E" );
+ colorinteger.put("maroon","0xFF800000" );
+ colorinteger.put("mediumorchid","0xFFBA55D3" );
+ colorinteger.put("mediumpurple","0xFF9370DB" );
+ colorinteger.put("mediumseagreen","0xFF3CB371" );
+ colorinteger.put("mediumslateblue","0xFF7B68EE" );
+ colorinteger.put("mediumspringgreen","0xFF00FA9A" );
+ colorinteger.put("mediumturquoise","0xFF48D1CC" );
+ colorinteger.put("mediumvioletred","0xFFC71585" );
+ colorinteger.put("melon","0xFFE3A869" );
+ colorinteger.put("midnightblue","0xFF191970" );
+ colorinteger.put("mint","0xFFBDFCC9" );
+ colorinteger.put("mintcream","0xFFF5FFFA" );
+ colorinteger.put("mistyrose","0xFFFFE4E1" );
+ colorinteger.put("moccasin","0xFFFFE4B5" );
+ colorinteger.put("navajowhite","0xFFFFDEAD" );
+ colorinteger.put("navy","0xFF000080" );
+ colorinteger.put("oldlace","0xFFFDF5E6" );
+ colorinteger.put("olivedrab","0xFF6B8E23" );
+ colorinteger.put("olive","0xFF808000" );
+ colorinteger.put("orange","0xFFFF8000" );
+ colorinteger.put("orangered","0xFFFF4500" );
+ colorinteger.put("orchid","0xFFDA70D6" );
+ colorinteger.put("palegoldenrod","0xFFEEE8AA" );
+ colorinteger.put("palegreen","0xFF98FB98" );
+ colorinteger.put("palevioletred","0xFFDB7093" );
+ colorinteger.put("paleturquoise","0xFFBBFFFF" );
+ colorinteger.put("papayawhip","0xFFFFEFD5" );
+ colorinteger.put("peachpuff","0xFFFFDAB9" );
+ colorinteger.put("peacock","0xFF33A1C9" );
+ colorinteger.put("pink","0xFFFFC0CB" );
+ colorinteger.put("plum","0xFFDDA0DD" );
+ colorinteger.put("powderblue","0xFFB0E0E6" );
+ colorinteger.put("purple","0xFF800080" );
+ colorinteger.put("raspberry","0xFF872657" );
+ colorinteger.put("rawsienna","0xFFC76114" );
+ colorinteger.put("red","0xFFFF0000" );
+ colorinteger.put("royalblue","0xFF4169E1" );
+ colorinteger.put("rosybrown","0xFFBC8F8F" );
+ colorinteger.put("salmon","0xFFFA8072" );
+ colorinteger.put("sandybrown","0xFFF4A460" );
+ colorinteger.put("sapgreen","0xFF308014" );
+ colorinteger.put("seashell","0xFFFFF5EE" );
+ colorinteger.put("sepia","0xFF5E2612" );
+ colorinteger.put("sienna","0xFFA0522D" );
+ colorinteger.put("silver","0xFFC0C0C0" );
+ colorinteger.put("skyblue","0xFF87CEEB" );
+ colorinteger.put("slateblue","0xFF6A5ACD" );
+ colorinteger.put("slategray","0xFF708090" );
+ colorinteger.put("snow","0xFFFFFAFA" );
+ colorinteger.put("springgreen","0xFF00FF7F" );
+ colorinteger.put("steelblue","0xFF4682B4" );
+ colorinteger.put("teal","0xFF008080" );
+ colorinteger.put("thistle","0xFFD8BFD8" );
+ colorinteger.put("tomato","0xFFFF6347" );
+ colorinteger.put("turquoise","0xFF40E0D0" );
+ colorinteger.put("turquoiseblue","0xFF00C78C" );
+ colorinteger.put("violet","0xFFEE82EE" );
+ colorinteger.put("violetred","0xFFD02090" );
+ colorinteger.put("warmgrey","0xFF808069" );
+ colorinteger.put("wheat","0xFFF5DEB3" );
+ colorinteger.put("white","0xFFFFFFFF" );
+ colorinteger.put("whitesmoke","0xFFF5F5F5" );
+ colorinteger.put("yellow","0xFFFFFF00" );
+}}