Yeah, with the help of /dyncss/ the base.css = (main.css+normalize.css) of pgweb gets loaded after visiting /list/. Now I am just confused about what exactly happens when someone opens https://www.postgresql.org/list/ in the browser? How is HTML loading? If it is using CSS files of pgweb then why do we have CSS files in the /media/css/ of pgarchives :(
Oh. Yes, anything outside of /list/ is loaded from pgweb. The dyncss is one of them. And yes, this is kind of a hacky and terrible way, but that's how it is right now. Certain parts of them have to be kept in sync.
We need them separately because the same pgarchives code is also run standalone, for our private archives. And in that scenario, there is no pgweb involved.