EditorLayout
data class EditorLayout(val gutterStartPadding: Dp = 5.dp, val gutterEndPadding: Dp = 3.dp, val customGutterWidth: Dp = 14.dp, val contentTopPadding: Dp = 4.dp, val contentBottomPadding: Dp = 4.dp, val panelBorderWidth: Dp = 1.dp, val dropCursorWidth: Dp = 2.dp)
Layout measurements for the editor. Nested inside EditorTheme to separate layout concerns from color properties.