frontend
frontend copied to clipboard
Fully migrate to CSS modules
Rationale, as well as initial work, has been done in #2724.