1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
<!DOCTYPE html>
<html dir='ltr'>
<head>
<meta charset="utf-8">
<meta http-equiv="Content-Security-Policy" content="default-src chrome:; img-src chrome: data:; style-src chrome: 'unsafe-inline';">
<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>
|
