Progyan

Formatting changes.

Removed the redundant code.

> @plugyawn Also as I mentioned elsewhere, please do your best to keep the linters and tests passing. The linting is normally easily fixed with black or `make fix`. >...

> > @plugyawn Also as I mentioned elsewhere, please do your best to keep the linters and tests passing. The linting is normally easily fixed with black or `make fix`....

@neiljp Could you explain this a little further? I'd like to take this up.

@neiljp implemented the theming change. Is it clearer to look at now?

@zulipbot add "PR needs review"

> @plugyawn You didn't change the labels on this, though have pushed since we last reviewed. I left a note in the stream. Oh, I just fixed the commit text...

@neiljp I was working on this, it's half-done, and some of the code that went into this is based off of the code for searching through topics on the side-bar,...

@zulipbot add "PR needs review".