export var DefaultRendererColors;
(function (DefaultRendererColors) {
    DefaultRendererColors["ActiveCursor"] = "#07f";
    DefaultRendererColors["InactiveCursor"] = "rgba(127,127,127,.7)";
    /**
     * Derived from #d7e9fd. 80% opacity used so that
     * any inline formatting underneath the selection
     * is still visible.
     */
    DefaultRendererColors["ActiveSelection"] = "rgba(196,223,253,.8)";
    DefaultRendererColors["InactiveSelection"] = "rgba(127,127,127,.2)";
})(DefaultRendererColors || (DefaultRendererColors = {}));
//# sourceMappingURL=constants.js.map