"%s"
"window.addEventListener ('DOMContentLoaded',"
"function () {"
- " var styles = document.getElementsByTagName('style');"
- " for (i=0; i<styles.length; i++) {"
- " if (styles[i].getAttribute('title') == 'formhistory')"
- " return;"
- " }"
" initSuggestions ();"
" var mystyle = document.createElement('style');"
" mystyle.setAttribute('type', 'text/css');"
- " mystyle.setAttribute('title', 'formhistory');"
" mystyle.appendChild(document.createTextNode('%s'));"
" var head = document.getElementsByTagName('head')[0];"
" if (head) head.appendChild(mystyle);"