Re: Request for documentation improvement: changelog UI

2020-09-10 Thread Tim Funk
I think this will do it ... The CSS .sticky { position: fixed; top: 0; right: 20px; left: 210px; margin-top: 0; } And you'll need an event listener ... document.addEventListener( 'scroll', function(){ var h3s = document.getElementById('content').getElementsByTagName('h

Request for documentation improvement: changelog UI

2020-09-09 Thread Christopher Schultz
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 All, Could someone better at CSS look into this for me? I sometimes find myself searching the changelog for some string e.g. "keystore". I generally do that by loading-up the changelog in my browser and using the browser's "Find" feature to search