This is great and many thanks!
One question: would it be possible to make the font bigger on mobile (maybe it's possible to do it from user's end)?
One question: would it be possible to make the font bigger on mobile (maybe it's possible to do it from user's end)?
javascript:(function()%7Bvar%20t,n,i,x=0,s,p='x-large',z,f=0;t=document.getElementsByTagName('*');%20n=t.length;for(i=0;i%3Cn;i++)%7Bz=t%5Bi%5D.style;z.fontSize=p%7Dif(document.frames)x=document.frames;else%20if(window.frames)x=window.frames;if(x)%7Bs=x.length;while(f%3Cs)%7Btry%7Bt=x%5Bf%5D.document.getElementsByTagName('*');n=t.length;for(i=0;i%3Cn;i++)%7Bz=t%5Bi%5D.style;z.fontSize=p%7D%7Dcatch(e)%7B%7Df++%7D%7D%7D)()
When you need to increase text size, while on a page, click that bookmark