function change_style(id, css_file) {
document.getElementById(id).href = css_file;
}
function switch_theme(theme)
{
var form = document.getElementById('switchtheme-switch-form');
var button = document.getElementById('edit-submit');
form.custom_theme.value = theme;
// button.focus();
button.click();
// document.location.reload();
}
var adatszolg_menu = '' +
' ' +
'
';
var primary_menu = ' ' +
' ' +
'
';
function puttext(s)
{
document.write(s);
}