Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / WWW / Doc / Programmer / style-font-lock.css

diff --git a/JMCR-Stable/mcr-test/WWW/Doc/Programmer/style-font-lock.css b/JMCR-Stable/mcr-test/WWW/Doc/Programmer/style-font-lock.css
new file mode 100644 (file)
index 0000000..4f22956
--- /dev/null
+++ b/JMCR-Stable/mcr-test/WWW/Doc/Programmer/style-font-lock.css
@@ -0,0 +1,54 @@
+HTML BODY {\r
+  /* beige */\r
+  background-color: white;\r
+  /* black */\r
+  color: black;\r
+}\r
+\r
+PRE SPAN.doc-string {\r
+  /* purple */\r
+  color: purple;\r
+}\r
+\r
+PRE SPAN.reference {\r
+  /* red3 */\r
+  color: rgb(205,0,0);\r
+}\r
+\r
+PRE SPAN.type {\r
+  /* MediumPurple3 */\r
+  color: rgb(137,104,205);\r
+}\r
+\r
+PRE SPAN.function-name {\r
+  /* forestgreen */\r
+  color: rgb(34,139,34);\r
+  font-weight: bold;\r
+}\r
+\r
+PRE SPAN.string {\r
+  /* blue4 */\r
+  color: rgb(0,0,139);\r
+}\r
+\r
+PRE SPAN.comment {\r
+  /* red */\r
+  color: red;\r
+  font-style:italic;\r
+}\r
+\r
+PRE SPAN.variable-name {\r
+  /* blue3 */\r
+  color: rgb(0,0,205);\r
+}\r
+\r
+PRE SPAN.preprocessor {\r
+  /* blue3 */\r
+  color: rgb(0,0,205);\r
+}\r
+\r
+PRE SPAN.keyword {\r
+  /* goldenrod3 */\r
+  color: rgb(205,155,29);\r
+}\r
+\r