/* Managed by ArrowHit: the client's style choices. Edits here are replaced when they change styles in the editor. */