I feel guis have taken a wrong turn. We need a simple composable language. I want entire theorems built from the least amount of axioms possible.

HTML and css is not it. The sheer complexity is what causes all the bs.