script.js/* ランダムジャンプボタンのキーボードショートカット */ document.addEventListener('keydown', e => { if (e.key == '4' && e.metaKey) { e.preventDefault(); document.querySelector('.random-jump-button').click(); } })