diff options
Diffstat (limited to 'devtools/client/dom/index.html')
-rw-r--r-- | devtools/client/dom/index.html | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/devtools/client/dom/index.html b/devtools/client/dom/index.html new file mode 100644 index 0000000000..73e45fc71e --- /dev/null +++ b/devtools/client/dom/index.html @@ -0,0 +1,29 @@ +<?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> |