He intentado los siguientes bookmarklets:
javascript: document.body.style.width = '50% ';
o
javascript: document.getElementsByTagName ('body') [0] .width = '50% ';
Ambos funcionan en la consola, pero no en bookmarklet. ¿Cuál es la razón?
Ambos funcionan bien como marcadores de Chrome.
Además, este bookmarklet funciona bien (en videos HTML5):
javascript: document.getElementsByTagName ("video") [0] .playbackRate = 2.5