diff options
Diffstat (limited to 'devtools/client/shared/sourceeditor/codemirror/cmiframe.html')
| -rw-r--r-- | devtools/client/shared/sourceeditor/codemirror/cmiframe.html | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/devtools/client/shared/sourceeditor/codemirror/cmiframe.html b/devtools/client/shared/sourceeditor/codemirror/cmiframe.html new file mode 100644 index 0000000000..85bcfe5a94 --- /dev/null +++ b/devtools/client/shared/sourceeditor/codemirror/cmiframe.html @@ -0,0 +1,28 @@ +<!DOCTYPE html> +<html dir='ltr'> +<head> + <meta charset="utf-8"> + <meta name="color-scheme" content="light dark"> + <style id="cmBaseStyle"> + html, body { height: 100%; } + body { margin: 0; overflow: hidden; } + .CodeMirror { + width: 100% !important; + /* + 1. Use fallback values for CSS variables, so that the text is sized + correctly while all the stylesheets load. Fallback values should + match the values in devtools/client/themes/variables.css + 2. Avoid !important for the font-size, to let CodeMirror set its own + font-size based on prefs. + */ + font-size: var(--theme-code-font-size, 11px); + line-height: var(--theme-code-line-height, 1.3636) !important; + } + </style> + <link rel='stylesheet' href="chrome://devtools/content/shared/sourceeditor/codemirror/lib/codemirror.css"> + <link rel='stylesheet' href="chrome://devtools/content/shared/sourceeditor/codemirror/addon/dialog/dialog.css"> + <link rel='stylesheet' href="chrome://devtools/content/shared/sourceeditor/codemirror/mozilla.css"> + <script src="chrome://devtools/content/shared/theme-switching.js"></script> +</head> +<body class='theme-body devtools-monospace'></body> +</html> |