RGL Browser: proper syntax highlighting for GF

lib/doc/browse/google-code-prettify/lang-gf.js

@@ -0,0 +1,15 @@
+/*
+  GF language
+  Customised from lang-hs.js (Haskell)
+*/
+PR.registerLangHandler(PR.createSimpleLexer([
+    ["pln", /^[\t-\r ]+/, null, "\t\n\r "],
+    ["str", /^"(?:[^\n\f\r"\\]|\\[\S\s])*(?:"|$)/, null, '"'],
+//    ["str", /^'(?:[^\n\f\r'\\]|\\[^&])'?/, null, "'"],
+    ["lit", /^(?:0o[0-7]+|0x[\da-f]+|\d+(?:\.\d+)?(?:e[+-]?\d+)?)/i, null, "0123456789"]
+], [
+    ["com", /^(?:--[^\n\f\r]*|{-(?:[^-]|-+[^}-])*-})/],
+    ["kwd", /^(?:abstract|case|cat|concrete|data|def|flags|fun|in|incomplete|instance|interface|let|lin|lincat|lindef|of|open|oper|param|pre|printname|resource|strs|table|transfer|variants|where|with)(?=[^\d'A-Za-z_]|$)/, null],
+    ["pln", /^(?:[A-Z][\w']*\.)*[A-Za-z][\w']*/],
+    ["pun", /^[^\d\t-\r "'A-Za-z]+/]
+]), ["gf"]);

lib/doc/browse/google-code-prettify/prettify-gf.css

@@ -10,7 +10,7 @@
     }
   .kwd
   {
-    color:#008
+    color:#c0f
     }
   .com
   {
@@ -49,49 +49,6 @@
     color:red
     }
 }
-@media print,projection
-{
-  .str
-  {
-    color:#060
-    }
-  .kwd
-  {
-    color:#006;
-    font-weight:bold
-    }
-  .com
-  {
-    color:#600;
-    font-style:italic
-    }
-  .typ
-  {
-    color:#404;
-    font-weight:bold
-    }
-  .lit
-  {
-    color:#044
-    }
-  .pun,.opn,.clo
-  {
-    color:#440
-    }
-  .tag
-  {
-    color:#006;
-    font-weight:bold
-    }
-  .atn
-  {
-    color:#404
-    }
-  .atv
-  {
-    color:#060
-    }
-}
 pre.prettyprint
 {
   }