+// add edit link to menu
+var pagebody = document.getElementsByClassName('static')[0];
+if (pagebody) {
+ var editlink = document.createElement('a');
+ editlink.style.cursor = 'pointer';
+ editlink.appendChild(document.createTextNode('Wijzig'));
+ editlink.onclick = function (e) {
+ var toggled = editlink.style.fontWeight;
+ editlink.style.fontWeight = toggled ? '' : 'bold';
+ pagebody.setAttribute('contenteditable', !toggled);
+ if (toggled) {
+ for (name in CKEDITOR.instances) {
+ CKEDITOR.instances[name].destroy()
+ }
+ }
+ else {
+ CKEDITOR.inline(pagebody);
+ pagebody.focus();
+ }
+ document.body.className = toggled ? '' : 'edit';
+ return false;
+ };
+ document.querySelector('header ul').appendChild(editlink);
+}