export declare const defaultTheme: import("@codemirror/state").Extension;