@dxos/react-ui-editor 0.6.11-staging.32b42e4 → 0.6.11-staging.66fb9aa
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/lib/browser/index.mjs +2 -2
- package/dist/lib/browser/index.mjs.map +1 -1
- package/package.json +24 -24
- package/src/defaults.ts +2 -2
|
@@ -5312,14 +5312,14 @@ var Toolbar = {
|
|
|
5312
5312
|
import { EditorView as EditorView18 } from "@codemirror/view";
|
|
5313
5313
|
import { mx as mx3 } from "@dxos/react-ui-theme";
|
|
5314
5314
|
var margin = "!mt-[1rem]";
|
|
5315
|
-
var editorContent = mx3(margin, "!mli-auto w-full max-w-[min(50rem,100%-
|
|
5315
|
+
var editorContent = mx3(margin, "!mli-auto w-full max-w-[min(50rem,100%-2rem)]");
|
|
5316
5316
|
var editorFullWidth = mx3(margin);
|
|
5317
5317
|
var editorWithToolbarLayout = "grid grid-cols-1 grid-rows-[min-content_1fr] data-[toolbar=disabled]:grid-rows-[1fr] justify-center content-start overflow-hidden";
|
|
5318
5318
|
var editorGutter = EditorView18.theme({
|
|
5319
5319
|
// Match margin from content.
|
|
5320
5320
|
".cm-gutters": {
|
|
5321
5321
|
marginTop: "16px",
|
|
5322
|
-
paddingRight: "
|
|
5322
|
+
paddingRight: "1rem"
|
|
5323
5323
|
}
|
|
5324
5324
|
});
|
|
5325
5325
|
var editorMonospace = EditorView18.theme({
|