IDEA-39879 Background color and gutter stripe color for bookmarks should be configurable