var portal_url = 'http://tu-dresden.de';
var form_modified_message = 'Your form has not been saved. All changes you have made will be lost.';
var form_resubmit_message = 'Your already clicked the submit button. Do you really want to submit this form again?';
var is_webkit = navigator.userAgent.toLowerCase().indexOf('webkit') > -1;
var is_opera = navigator.userAgent.toLowerCase().indexOf('opera') > -1;
if(is_webkit || is_opera) {
var skiplinks = document.getElementsByName('skiplink');
var i;
for (i=0; i < skiplinks.length; i++) {
var target = skiplinks[i].href.substr(skiplinks[i].href.indexOf('#')+1);
var targetElement = document.getElementById(target);
if (targetElement != null){
targetElement.href = '#'+target;
targetElement.setAttribute("tabindex", "0");
skiplinks[i].setAttribute("onclick", "document.getElementById('"+target+"').focus();");
}
}
}