Merge remote branch 'origin/master' into wosch

[mkws-moved-to-github.git] / examples / htdocs / wolfram.html

diff --git a/examples/htdocs/wolfram.html b/examples/htdocs/wolfram.html
index e1afb2e..2c57e7a 100644 (file)
--- a/examples/htdocs/wolfram.html
+++ b/examples/htdocs/wolfram.html
@@ -25,6 +25,7 @@
     <script type="text/javascript" src="src/mkws-handlebars.js"></script>
     <script type="text/javascript" src="src/mkws-core.js"></script>
     <script type="text/javascript" src="src/mkws-team.js"></script>
+    <script type="text/javascript" src="src/mkws-filter.js"></script>
     <script type="text/javascript" src="src/mkws-widgets.js"></script>
     <script type="text/javascript" src="src/mkws-widget-termlists.js"></script>
     <script type="text/javascript" src="src/mkws-widget-authname.js"></script>
@@ -32,12 +33,12 @@
     <script type="text/javascript" src="src/mkws-widget-record.js"></script>
 
     <style type="text/css">
-      #mkwsTermlists div.facet {
+      .mkwsTermlists div.facet {
       float:left;
       width: 30%;
       margin: 0.3em;
       }
-      #mkwsStat {
+      .mkwsStat {
       text-align: right;
       }
     </style>