4 ms·

Bookmarklet to toggle it: javascript:(function(){var style = document.getElementById('toc').style; style.display === 'none' ? style.display = '' : style.disp

by bulatb 14y ago

Bookmarklet to toggle it: javascript:(function(){var style = document.getElementById('toc').style; style.display === 'none' ? style.display = '' : style.display = 'none';})()