Sure. Updating the PR now. It does create a bit of a modularity/separation of concerns issue, since now the UI components (in this case the style sheets) have to make assumptions about the internal structure of the topnav widget. E.g. if the widget is refactored in a way that renames the `topnavigation-search-form` id, then the UI stylesheets will have to be modified as well.