Fix real literals

2 files changed, 2 insertions, 4 deletions

diff --git a/language-web/src/main/webapp/style.css b/language-web/src/main/webapp/style.css
index 03018f93..f3a6b7f9 100644
--- a/language-web/src/main/webapp/style.css
+++ b/language-web/src/main/webapp/style.css
@@ -47,7 +47,7 @@ a:hover {
         top: 108px;
         bottom: 0;
         left: 0;
-        width: 50%;
+        width: 100%;
         box-shadow: 0 0 8px rgba(80, 10, 98, .25), 0 10px 24px rgba(80, 10, 98, .35);
         border-radius: 16px;
 }
diff --git a/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js b/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js
index ba39dd13..d962a0bb 100644
--- a/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js
+++ b/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js
@@ -1,6 +1,5 @@
 define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, SimpleMode) {
         var keywords = "abstract|class|contains|enum|error|extends|false|opposite|pred|problem|refers|scope|true|unknown";
-        var extraKeywords = "!|\\(|\\)|\\*|\\+|,|-|\\.|:|;|=|\\?|\\[|\\]|\\{|\\}";
         CodeMirror.defineSimpleMode("xtext/problem", {
                 start: [
                         {token: "comment", regex: "\\/\\*", next : "comment"},
@@ -13,8 +12,7 @@ define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, Simp
                         {token: "lparen", indent: true, regex: "[[({]"},
                         {token: "rparen", dedent: true, regex: "[\\])}]"},
                         {indent: true, push: "predicateBody", regex: ":-"},
-                        {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"},
-                        {token: "keyword", regex: "(?:^|\\s)(?:" + extraKeywords + ")(?=[\\s.:;,!?+\\-*/&|<>()[\\]{}]|$)"}
+                        {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"}
                 ],
                 comment: [
                         {token: "comment", regex: ".*?\\*\\/", next : "start"},