Woot editor header should be sticky

It's mildly annoying to have to scroll back up when I have a long post. I would also take a big post button at the bottom.

Codeberg.org

now…I wonder if I can make it have different properties depending on whether or not it has scrolled yet WITHOUT javascript

because that would be cool

@alexia no, but what you could do is remove the border-radius on the sticky-header, in the editor's container use overflow clip, add the border radius to that container so that it clips the sticky-header, and make sure the sticky-header is sticking to the very top of the viewport

so once you scroll down, there isn't a top border radius on the header when it's against the top of the page  

my main concern was actually how I had to make it a different color because otherwise there is ZERO contrast

I wanted to give it a shadow, but then it'd overshadow the content underneath a little

so I was thinking "hm maybe I can make it only shadow when necessary" but it seems I cannot do that without JS :(