I propose to change the font size and bold in "Start typing to search" for the text string:

Proposal for a change:

App:
Nextcloud 20.0.0 beta4

As part of the associated project here, this issue is to track the progress of creating documentation with Read the Docs. My personal preference is RTD, and that's what I'll be working with for now, and keeping subscribers to this issue updated (of course), but it isn't stuck in stone, and can be adjusted later on.

Thanks!