33dbfe4c6f
[web] Specify CSS color-scheme based on editor theme GitOrigin-RevId: dda4039b7fcc4aecc7ed3f96efe15518599c9226