[gutvol-p] Bookmark (bookmarklet)

This is a bookmarklet version of the javascript tool. The main advantage is that you don't have to alter the HTML file in order to use a bookmark. Once installed, use the bookmarlet to return to a bookmarked paragraph. Since my script is a bit long it cannot be installed as a regular bookmarklet. So, to install: 1- create a new bookmark (this can be done by bookmarking any html page) 2- go to Bookmarks -> Manage bookmarks... 3- right-click on your new bookmark -> Properties 4- change the name (optional) 5- replace the location with the following: javascript:(function(){function init(){var bookmark=getCookie('bookmark');if(bookmark==null){bookmark=0;}var p=document.getElementsByTagName('p');var b=document.getElementsByTagName('body');var mark=document.getElementById('mark');if(mark!=null){b[0].removeChild(mark);}mark=document.createElement('a');mark.name='bookmark';mark.id='mark';mark.innerHTML='<hr />';b[0].insertBefore(mark,p[bookmark]);p[bookmark].style.backgroundColor='lavender';for(var i=0;i0){var begin=document.cookie.indexOf(NameOfCookie+'=');if(begin!=-1){begin+=NameOfCookie.length+1;var end=document.cookie.indexOf(';',begin);if(end==-1)end=document.cookie.length;return unescape(document.cookie.substring(begin,end));}}return null;}function setCookie(NameOfCookie,value,expiredays){var ExpireDate=new Date();ExpireDate.setTime(ExpireDate.getTime()+(expiredays*24*3600*1000));document.cookie=NameOfCookie+%22=%22+escape(value)+((expiredays==null)?'':'; expires='+ExpireDate.toGMTString());}init();})();