<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xml:lang="en" xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="content-type" content="text/html; charset=utf-8" />
    <meta name="Author" content="Ralf Becker [http://www.digitalROCK.de]" />
    <script type="text/javascript" src="jquery.min.js"></script>
    <script type="text/javascript" src="dr_api.js"></script>
    <script type="text/javascript" src="dr_translations.js"></script>
    <link type="text/css" rel="StyleSheet" href="dr_list.css" />
  </head>
  <body>
    <div id="table"></div>
    <div id="footer" style="display: none; font-size: 90%"></div>
    <script type="text/javascript">
      var widget;
      $(document).ready(function () {
        var padding = location.search.match(/padding=([^&]+)/);
        if (padding)
          jQuery("body").css(
            "padding",
            decodeURIComponent(padding[1].replace(/\+/, "%20"))
          );
        var font_size = location.search.match(/font_size=((\d+)(pt|px|em)?)/);
        if (font_size) {
          var boulder_size =
            Math.round(0.8 * parseInt(font_size[2])) +
            (font_size[3] ? font_size[3] : "pt");
          font_size = font_size[1] + (font_size[3] ? font_size[3] : "pt");
          jQuery('<style type="text/css"/>')
            .text(
              "td, th, .Resultlist h1, .Startlist h1 {font-size: " +
                font_size +
                ";}" +
                "div.boulder, div.boulderNone, div.boulderTop, div.boulderBonus {" +
                "width: " +
                boulder_size +
                "; height: " +
                boulder_size +
                "; margin-right: 4px;}"
            )
            .appendTo("head");
        }
        var json_url = "https://www.digitalrock.de/egroupware/ranking/json.php";
        if (location.pathname.match(/sitemgr.*$/)) {
          json_url = location.pathname.replace(/sitemgr.*$/, "json.php");
        }
        widget = new DrWidget(
          "table",
          json_url + (location.search || location.hash.replace(/^#!?/, "?"))
        );

        setTimeout(function () {
          window.scrollTo(0, 1);
        }, 100);

        if (!document.location.href.match(/beamer=1/)) {
          showFooterByCat("div#footer");
        }
      });

      if (document.location.href.match(/beamer=1/)) load_css("beamer.css");
    </script>
  </body>
</html>