browser/devtools/markupview/markup-view.css

Wed, 31 Dec 2014 06:09:35 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 06:09:35 +0100
changeset 0
6474c204b198
permissions
-rw-r--r--

Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.

michael@0 1 /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0 2 * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0 3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0 4
michael@0 5 :root {
michael@0 6 -moz-control-character-visibility: visible;
michael@0 7 }
michael@0 8
michael@0 9 /* Force height and width (possibly overflowing) from inline elements.
michael@0 10 * This allows long overflows of text or input fields to still be styled with
michael@0 11 * the container, rather than the background disappearing when scrolling */
michael@0 12 #root {
michael@0 13 float: left;
michael@0 14 min-width: 100%;
michael@0 15 }
michael@0 16
michael@0 17 #root-wrapper:after {
michael@0 18 content: "";
michael@0 19 display: block;
michael@0 20 clear: both;
michael@0 21 position:relative;
michael@0 22 }
michael@0 23
michael@0 24 .html-editor {
michael@0 25 display: none;
michael@0 26 position: absolute;
michael@0 27 z-index: 2;
michael@0 28
michael@0 29 /* Use the same margin/padding trick used by .child tags to ensure that
michael@0 30 * the editor covers up any content to the left (including expander arrows
michael@0 31 * and hover effects). */
michael@0 32 margin-left: -1000em;
michael@0 33 padding-left: 1000em;
michael@0 34 }
michael@0 35
michael@0 36 .html-editor-inner {
michael@0 37 border: solid .1px;
michael@0 38 flex: 1 1 auto;
michael@0 39 }
michael@0 40
michael@0 41 .html-editor iframe {
michael@0 42 height: 100%;
michael@0 43 width: 100%;
michael@0 44 border: none;
michael@0 45 margin: 0;
michael@0 46 padding: 0;
michael@0 47 }
michael@0 48
michael@0 49 .children {
michael@0 50 list-style: none;
michael@0 51 padding: 0;
michael@0 52 margin: 0;
michael@0 53 }
michael@0 54
michael@0 55 /* Tags are organized in a UL/LI tree and indented thanks to a left padding.
michael@0 56 * A very large padding is used in combination with a slightly smaller margin
michael@0 57 * to make sure childs actually span from edge-to-edge. */
michael@0 58 .child {
michael@0 59 margin-left: -1000em;
michael@0 60 padding-left: 1001em;
michael@0 61 }
michael@0 62
michael@0 63 .tag-line {
michael@0 64 min-height: 1.4em;
michael@0 65 line-height: 1.4em;
michael@0 66 position: relative;
michael@0 67 }
michael@0 68
michael@0 69 .html-editor-container {
michael@0 70 position: relative;
michael@0 71 min-height: 200px;
michael@0 72 }
michael@0 73
michael@0 74 /* This extra element placed in each tag is positioned absolutely to cover the
michael@0 75 * whole tag line and is used for background styling (when a selection is made
michael@0 76 * or when the tag is flashing) */
michael@0 77 .tag-line .tag-state {
michael@0 78 position: absolute;
michael@0 79 left: -1000em;
michael@0 80 right: 0;
michael@0 81 height: 100%;
michael@0 82 z-index: -1;
michael@0 83 }
michael@0 84
michael@0 85 .expander {
michael@0 86 display: inline-block;
michael@0 87 margin-left: -14px;
michael@0 88 vertical-align: middle;
michael@0 89 }
michael@0 90
michael@0 91 .child.collapsed .child {
michael@0 92 display: none;
michael@0 93 }
michael@0 94
michael@0 95 .child > .tag-line:first-child .close {
michael@0 96 display: none;
michael@0 97 }
michael@0 98
michael@0 99 .child.collapsed > .tag-line:first-child .close {
michael@0 100 display: inline;
michael@0 101 }
michael@0 102
michael@0 103 .child.collapsed > .tag-line ~ .tag-line {
michael@0 104 display: none;
michael@0 105 }
michael@0 106
michael@0 107 .child.collapsed .close {
michael@0 108 display: inline;
michael@0 109 }
michael@0 110
michael@0 111 .closing-bracket {
michael@0 112 pointer-events: none;
michael@0 113 }
michael@0 114
michael@0 115 .newattr {
michael@0 116 display: inline-block;
michael@0 117 width: 1em;
michael@0 118 height: 1ex;
michael@0 119 margin-right: -1em;
michael@0 120 padding: 1px 0;
michael@0 121 }
michael@0 122
michael@0 123 .newattr:focus {
michael@0 124 margin-right: 0;
michael@0 125 }
michael@0 126
michael@0 127 .tag-state.flash-out {
michael@0 128 transition: background .5s;
michael@0 129 }
michael@0 130
michael@0 131 /* Preview */
michael@0 132
michael@0 133 #previewbar {
michael@0 134 position: fixed;
michael@0 135 top: 0;
michael@0 136 right: 0;
michael@0 137 width: 90px;
michael@0 138 background: black;
michael@0 139 border-left: 1px solid #333;
michael@0 140 border-bottom: 1px solid #333;
michael@0 141 overflow: hidden;
michael@0 142 }
michael@0 143
michael@0 144 #preview {
michael@0 145 position: absolute;
michael@0 146 top: 0;
michael@0 147 right: 5px;
michael@0 148 width: 80px;
michael@0 149 height: 100%;
michael@0 150 background-image: -moz-element(#root);
michael@0 151 background-repeat: no-repeat;
michael@0 152 }
michael@0 153
michael@0 154 #previewbar.hide,
michael@0 155 #previewbar.disabled {
michael@0 156 display: none;
michael@0 157 }
michael@0 158
michael@0 159 #viewbox {
michael@0 160 position: absolute;
michael@0 161 top: 0;
michael@0 162 right: 5px;
michael@0 163 width: 80px;
michael@0 164 border: 1px dashed #888;
michael@0 165 background: rgba(205,205,255,0.2);
michael@0 166 outline: 1px solid transparent;
michael@0 167 }

mercurial