export declare function highlightJson(text: string): string; export declare function midLinePos(opts: { text: string; scrollTop: number; clientHeight: number; }): number; export declare const codeStyle: { fontFamily: string; fontSize: number; lineHeight: number; padding: number; margin: number; borderRadius: number; width: string; boxSizing: "border-box"; whiteSpace: "pre-wrap"; wordWrap: "break-word"; overflowWrap: "break-word"; }; export declare function textareaStyle(isValid: boolean): { fontFamily: string; fontSize: number; lineHeight: number; padding: number; margin: number; borderRadius: number; width: string; boxSizing: "border-box"; whiteSpace: "pre-wrap"; wordWrap: "break-word"; overflowWrap: "break-word"; color: string; background: string; border: string; resize: "vertical"; minHeight: number; outline: string; }; export declare function focusAtScroll(ta: HTMLTextAreaElement, opts: { text: string; scrollTop: number; }): void; export declare const preStyle: { fontFamily: string; fontSize: number; lineHeight: number; padding: number; margin: number; borderRadius: number; width: string; boxSizing: "border-box"; whiteSpace: "pre-wrap"; wordWrap: "break-word"; overflowWrap: "break-word"; background: string; color: string; border: string; cursor: string; minHeight: number; overflow: string; maxHeight: number; };