._1okebta0-3-8-0 {
  position: relative;
  width: 100%;
}
._1okebta1-3-8-0 {
  display: flex;
  flex-grow: 1;
  max-height: 100%;
  min-height: 100%;
}
._1okebta2-3-8-0 {
  position: absolute;
  z-index: var(--dt-elevations-default, 1);
  top: 0;
  right: 0;
}
._1okebta3-3-8-0 {
  top: calc(var(--dt-spacings-size-6, 6px) + var(--dt-borders-width-emphasized, 2px));
  right: calc(var(--dt-spacings-size-6, 6px) + var(--dt-borders-width-emphasized, 2px));
}
._1jgl8s50-3-8-0 ._1okebta3-3-8-0 {
  top: calc(var(--dt-spacings-size-6, 6px) + var(--dt-borders-width-default, 1px));
  right: calc(var(--dt-spacings-size-6, 6px) + var(--dt-borders-width-default, 1px));
}
._1okebta4-3-8-0 {
  top: calc(var(--dt-spacings-size-2, 2px) + var(--dt-borders-width-emphasized, 2px));
  right: calc(var(--dt-spacings-size-2, 2px) + var(--dt-borders-width-emphasized, 2px));
}
._1jgl8s50-3-8-0 ._1okebta4-3-8-0 {
  top: calc(var(--dt-spacings-size-2, 2px) + var(--dt-borders-width-default, 1px));
  right: calc(var(--dt-spacings-size-2, 2px) + var(--dt-borders-width-default, 1px));
}
._1okebta5-3-8-0 .cm-editor {
  padding-right: calc(var(--dt-spacings-size-40, 40px) + var(--dt-spacings-size-4, 4px));
}
._1okebta6-3-8-0 .cm-editor {
  padding-right: calc(var(--dt-spacings-size-28, 28px) + var(--dt-spacings-size-4, 4px));
}