176c0f3742
Start removing is-overleaf from CSS GitOrigin-RevId: fa37bedd857fc492f8d2e1df1758e2e5f924f000
Start removing is-overleaf from CSS GitOrigin-RevId: fa37bedd857fc492f8d2e1df1758e2e5f924f000