diff options
Diffstat (limited to 'src/www/wc.html')
| -rw-r--r-- | src/www/wc.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/www/wc.html b/src/www/wc.html index 54eecd1dc..6d9b32b92 100644 --- a/src/www/wc.html +++ b/src/www/wc.html @@ -27,6 +27,7 @@ small { color: #666; } .error { color: #c00; } div.e2 table { background: white; } span.inflect { color: blue; } +.grammar_pick { margin: 5px; } .node { cursor: pointer; } /*.overlay { background-color: #eed; }*/ @@ -113,7 +114,7 @@ span.inflect { color: blue; } </div> <hr> <div class=modtime><small> -<!-- hhmts start -->Last modified: Thu May 12 15:32:41 CEST 2016 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Mon May 16 16:04:21 CEST 2016 <!-- hhmts end --> </small></div> <a href="http://www.grammaticalframework.org/demos/translation.html">About</a> <script src="js/support.js"></script> @@ -121,7 +122,8 @@ span.inflect { color: blue; } <script src="js/localstorage.js"></script> <script src="js/langcode.js"></script> <script src="js/pgf_online.js"></script> -<script src="minibar/minibar_support.js">/* speech functions */</script> +<script src="minibar/minibar_support.js">/* speech functions */</script> +<script src="gfse/sort.js"></script> <script src="js/wc.js"></script> <script> wc.initialize() |