Add overleaf dark editor theme GitOrigin-RevId: bd8cdbcc7ad6b56078611b7c2ab69008ea578ae7
[web] migrate frontend logging to debugConsole GitOrigin-RevId: b03ff9030b03fff059738d2270bc4b4912e79f16