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;i<p.length;i++){p[i].ondblclick=highlight;p[i].id=i;}document.location='#bookmark';}function
highlight(e){var p=document.getElementsByTagName('p');for(var
i=0;i<p.length;i++){p[i].style.backgroundColor='white';}var
targ;if(!e)e=window.event;if(e.target)targ=e.target;else
if(e.srcElement)targ=e.srcElement;if(targ.nodeType==3)targ=targ.parentNode;targ.style.backgroundColor='lavender';setCookie('bookmark',targ.id,365);}function
getCookie(NameOfCookie){if(document.cookie.length>0){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();})();
