diff --git a/src/www/js/wc.js b/src/www/js/wc.js index 2b7f6434d..9479fc802 100644 --- a/src/www/js/wc.js +++ b/src/www/js/wc.js @@ -461,6 +461,7 @@ wc.select_grammars=function() { for(var i=0;i input { float: right; } .node { cursor: pointer; } /*.overlay { background-color: #eed; }*/ @@ -114,7 +115,7 @@ span.inflect { color: blue; }
-Last modified: Mon May 16 16:04:21 CEST 2016 +Last modified: Mon May 16 16:39:48 CEST 2016
About