He probado los siguientes bookmarklets:
javascript:document.cuerpo.de estilo.width='50%';
o
javascript:document.getElementsByTagName('cuerpo')[0].width='50%';
Ambos trabajan en la consola, pero no en el bookmarklet. ¿Cuál es la razón?
Ambos funcionan muy bien como Chrome bookmarklets.
También, este script funciona bien (en HTML5 videos):
javascript:document.getElementsByTagName("video")[0].playbackRate=2.5