diff options
Diffstat (limited to '')
| -rw-r--r-- | devtools/client/dom/index.html | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/devtools/client/dom/index.html b/devtools/client/dom/index.html new file mode 100644 index 0000000000..0e4fd84b76 --- /dev/null +++ b/devtools/client/dom/index.html @@ -0,0 +1,20 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!-- This Source Code Form is subject to the terms of the Mozilla Public + - License, v. 2.0. If a copy of the MPL was not distributed with this + - file, You can obtain one at http://mozilla.org/MPL/2.0/. --> +<!DOCTYPE html> +<html dir=""> +<head> + <meta charset="utf-8"/> + + <link href="chrome://devtools/content/dom/content/dom-view.css" rel="stylesheet" /> + <link href="chrome://devtools-jsonview-styles/content/toolbar.css" rel="stylesheet" /> + <link href="chrome://devtools/content/shared/components/tree/TreeView.css" rel="stylesheet" /> + + <script src="chrome://devtools/content/shared/theme-switching.js"></script> +</head> +<body class="theme-body" role="application"> + <div id="content"></div> + <script src="./main.js"></script> +</body> +</html> |