Sorry to combine two minor issues into one, but:
1. In Safari on an iPhone 14 Pro running iOS 16, a thin (transparent) space between the TexAgs menu and the top bar sometimes appears when scrolling. Scroll again and it goes away.

2. In regular (not dark) mode, it would be nice if the scroll bar in Safari was dark so that it is easier to see on the white background. See https://developer.mozilla.org/en-US/docs/Web/CSS/scrollbar-color

Thanks!