// -*- encoding: utf-8 -*-

function openPDFWin(url) {
  // Workaround für Base-HREF-Problem in IE
  var base_href = "";

  if (document.getElementsByTagName("base").length > 0) {
    base_href = document.getElementsByTagName("base")[0].getAttribute("href");
  }
  
  var options = "resizable";
  if (url.match(/\.(html?|txt|mht)$/)) options += ",scrollbars";

  window.open(base_href + url, "", options);
}