The Tor Browser / file comparison
comparison: browser/devtools/layoutview/view.xhtml
browser/devtools/layoutview/view.xhtml
- changeset 0
- 6474c204b198
equal
deleted
inserted
replaced
| -1:000000000000 | 0:bae6a62d339e |
|---|---|
| 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 ]> | |
| 9 | |
| 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> | |
| 14 | |
| 15 <script type="application/javascript;version=1.8" | |
| 16 src="chrome://browser/content/devtools/theme-switching.js"/> | |
| 17 | |
| 18 <script type="application/javascript;version=1.8" src="view.js"></script> | |
| 19 | |
| 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"/> | |
| 23 | |
| 24 </head> | |
| 25 <body class="theme-sidebar devtools-monospace"> | |
| 26 | |
| 27 <p id="header"> | |
| 28 <span id="element-size"></span><span id="element-position"></span> | |
| 29 </p> | |
| 30 | |
| 31 <div id="main"> | |
| 32 | |
| 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> | |
| 41 | |
| 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> | |
| 46 | |
| 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> | |
| 51 | |
| 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> | |
| 56 | |
| 57 <p class="size"><span data-box="content" tooltip="&content.tooltip;"></span></p> | |
| 58 | |
| 59 <span class="tooltip"></span> | |
| 60 | |
| 61 </div> | |
| 62 | |
| 63 <div style="display: none"> | |
| 64 <p id="dummy"></p> | |
| 65 </div> | |
| 66 </body> | |
| 67 </html> |
