[03:39:22] <taylan>	 ashley: Sorry but I forgot the workflow again for creating a pull request for changes to the Theme extension. If you want, you can pull my newest version from here; I've just rebased it on the upstream master branch and it contains a bunch of improvements: https://github.com/TaylanUB/mediawiki-themes/
[03:41:02] <taylan>	 ashley: It could be noted that a few of the "improvements" may be subjective and some of them *may* not be compatible with some extensions or user CSS, most notably setting "height: auto;" on html and body. (This makes them as high as the document; Vector sets it to 100% by default which makes it as high as the browser window instead.)
[03:43:08] <taylan>	 (The reason is that it otherwise seems impossible, or very difficult, to use "position: sticky;" on anything.)