now that you depend on web_ui, you could technically avoid duplicating this code, but I'm ok with keeping this as is for now (I want to remove the dependency between css and web_ui soon.