mathlib

942c779d - feat(meta/widget): Add css classes for indentation as required by group and nest. (#3764)

feat(meta/widget): Add css classes for indentation as required by group and nest. (#3764) this is a transplant of https://github.com/leanprover-community/lean/pull/439 the relevant css section looks more or less like this: ```css .indent-code { text-indent: calc(var(--indent-level) * -1ch); padding-left: calc(var(--indent-level) * 1ch); } ``` For details, one can play around here: https://jsfiddle.net/xbzhL60m/45/ Co-authored-by: Ed Ayers <EdAyers@users.noreply.github.com> Co-authored-by: Gabriel Ebner <gebner@gebner.org> Co-authored-by: E.W.Ayers <E.W.Ayers@maths.cam.ac.uk>