Merge remote-tracking branch 'origin/master' into wosch

[mkws-moved-to-github.git] / examples / htdocs / index-wolfram.html
diff --git a/examples/htdocs/index-wolfram.html b/examples/htdocs/index-wolfram.html

index d057734..545a09d 100644 (file)
--- a/examples/htdocs/index-wolfram.html
+++ b/examples/htdocs/index-wolfram.html
@@ -1,3 +1,5 @@
+<?xml version="1.0"?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
  <html>
    <head>
      <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
@@ -5,8 +7,7 @@
      <link rel="stylesheet" type="text/css" href="../../tools/htdocs/mkwsStyle.css" />
      <script type="text/javascript">
        var mkws_config = {
-         switch_menu: false,
-         /*
+       /*
           service_proxy_url : "/service-proxy/",
           service_proxy_auth : "/service-proxy-auth/",
           */
@@ -30,7 +31,6 @@
      <table width="100%" border="0">
        <tr>
          <td>
-          <div id="mkwsSwitch"></div>
            <div id="mkwsLang"></div>
            <div id="mkwsSearch"></div>
          </td>