diff options
Diffstat (limited to 'devtools/client/dom/dom.html')
| -rw-r--r-- | devtools/client/dom/dom.html | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/devtools/client/dom/dom.html b/devtools/client/dom/dom.html new file mode 100644 index 000000000..5fe473d09 --- /dev/null +++ b/devtools/client/dom/dom.html @@ -0,0 +1,21 @@ +<?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="resource://devtools/client/dom/content/dom-view.css" rel="stylesheet" /> + <link href="resource://devtools/client/jsonview/css/toolbar.css" rel="stylesheet" /> + <link href="resource://devtools/client/shared/components/tree/tree-view.css" rel="stylesheet" /> + + <script type="text/javascript;version=1.8" + src="chrome://devtools/content/shared/theme-switching.js"></script> +</head> +<body class="theme-body devtools-monospace" role="application"> + <div id="content"></div> + <script type="text/javascript" src="./main.js"></script> +</body> +</html> |