browser/devtools/layoutview/view.xhtml@b8a032363ba2
browser/devtools/layoutview/view.xhtml
Thu, 22 Jan 2015 13:21:57 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Thu, 22 Jan 2015 13:21:57 +0100
- branch
- TOR_BUG_9701
- changeset 15
- b8a032363ba2
- permissions
- -rw-r--r--
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
1 <?xml version="1.0" encoding="UTF-8"?>
2 <!-- This Source Code Form is subject to the terms of the Mozilla Public
3 - License, v. 2.0. If a copy of the MPL was not distributed with this
4 - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
5 <!DOCTYPE html [
6 <!ENTITY % layoutviewDTD SYSTEM "chrome://browser/locale/devtools/layoutview.dtd" >
7 %layoutviewDTD;
8 ]>
10 <html xmlns="http://www.w3.org/1999/xhtml"
11 xmlns:xul="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
12 <head>
13 <title>&title;</title>
15 <script type="application/javascript;version=1.8"
16 src="chrome://browser/content/devtools/theme-switching.js"/>
18 <script type="application/javascript;version=1.8" src="view.js"></script>
20 <link rel="stylesheet" href="chrome://browser/skin/devtools/common.css" type="text/css"/>
21 <link rel="stylesheet" href="chrome://browser/skin/devtools/layoutview.css" type="text/css"/>
22 <link rel="stylesheet" href="view.css" type="text/css"/>
24 </head>
25 <body class="theme-sidebar devtools-monospace">
27 <p id="header">
28 <span id="element-size"></span><span id="element-position"></span>
29 </p>
31 <div id="main">
33 <div id="margins" data-box="margin" tooltip="&margin.tooltip;">
34 <div id="borders" data-box="border" tooltip="&border.tooltip;">
35 <div id="padding" data-box="padding" tooltip="&padding.tooltip;">
36 <div id="content" data-box="content" tooltip="&content.tooltip;">
37 </div>
38 </div>
39 </div>
40 </div>
42 <p class="border top"><span data-box="border" class="editable" tooltip="border-top"></span></p>
43 <p class="border right"><span data-box="border" class="editable" tooltip="border-right"></span></p>
44 <p class="border bottom"><span data-box="border" class="editable" tooltip="border-bottom"></span></p>
45 <p class="border left"><span data-box="border" class="editable" tooltip="border-left"></span></p>
47 <p class="margin top"><span data-box="margin" class="editable" tooltip="margin-top"></span></p>
48 <p class="margin right"><span data-box="margin" class="editable" tooltip="margin-right"></span></p>
49 <p class="margin bottom"><span data-box="margin" class="editable" tooltip="margin-bottom"></span></p>
50 <p class="margin left"><span data-box="margin" class="editable" tooltip="margin-left"></span></p>
52 <p class="padding top"><span data-box="padding" class="editable" tooltip="padding-top"></span></p>
53 <p class="padding right"><span data-box="padding" class="editable" tooltip="padding-right"></span></p>
54 <p class="padding bottom"><span data-box="padding" class="editable" tooltip="padding-bottom"></span></p>
55 <p class="padding left"><span data-box="padding" class="editable" tooltip="padding-left"></span></p>
57 <p class="size"><span data-box="content" tooltip="&content.tooltip;"></span></p>
59 <span class="tooltip"></span>
61 </div>
63 <div style="display: none">
64 <p id="dummy"></p>
65 </div>
66 </body>
67 </html>
