browser/devtools/layoutview/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 body, html {
michael@0 6 height: 100%;
michael@0 7 width: 100%;
michael@0 8 overflow: hidden;
michael@0 9 }
michael@0 10
michael@0 11 body {
michael@0 12 margin: 0;
michael@0 13 padding: 0;
michael@0 14 }
michael@0 15
michael@0 16 #header {
michael@0 17 box-sizing: border-box;
michael@0 18 width: 100%;
michael@0 19 padding: 6px 9px;
michael@0 20 display: -moz-box;
michael@0 21 vertical-align: top;
michael@0 22 }
michael@0 23
michael@0 24 #header:-moz-dir(rtl) {
michael@0 25 -moz-box-direction: reverse;
michael@0 26 }
michael@0 27
michael@0 28 #header > span {
michael@0 29 display: -moz-box;
michael@0 30 }
michael@0 31
michael@0 32 #element-size {
michael@0 33 -moz-box-flex: 1;
michael@0 34 }
michael@0 35
michael@0 36 #element-size:-moz-dir(rtl) {
michael@0 37 -moz-box-pack: end;
michael@0 38 }
michael@0 39
michael@0 40 #main {
michael@0 41 margin: 0 10px 10px 10px;
michael@0 42 box-sizing: border-box;
michael@0 43 width: calc(100% - 2 * 10px);
michael@0 44 position: absolute;
michael@0 45 border-width: 1px;
michael@0 46 }
michael@0 47
michael@0 48 @media (min-width: 320px) {
michael@0 49 body {
michael@0 50 position: absolute;
michael@0 51 width: 320px;
michael@0 52 left: -160px;
michael@0 53 margin-left: 50%;
michael@0 54 }
michael@0 55 }
michael@0 56
michael@0 57 #content,
michael@0 58 #borders {
michael@0 59 border-width: 1px;
michael@0 60 }
michael@0 61
michael@0 62 #content {
michael@0 63 height: 25px;
michael@0 64 }
michael@0 65
michael@0 66 #margins,
michael@0 67 #padding {
michael@0 68 border-style: solid;
michael@0 69 border-width: 25px;
michael@0 70 }
michael@0 71
michael@0 72 #borders {
michael@0 73 padding: 25px;
michael@0 74 }
michael@0 75
michael@0 76 #main > p {
michael@0 77 position: absolute;
michael@0 78 pointer-events: none;
michael@0 79 }
michael@0 80
michael@0 81 #main > p {
michael@0 82 margin: 0;
michael@0 83 text-align: center;
michael@0 84 }
michael@0 85
michael@0 86 #main > p > span {
michael@0 87 vertical-align: middle;
michael@0 88 pointer-events: auto;
michael@0 89 }
michael@0 90
michael@0 91 .size > span {
michael@0 92 cursor: default;
michael@0 93 }
michael@0 94
michael@0 95 .editable {
michael@0 96 -moz-user-select: text;
michael@0 97 }
michael@0 98
michael@0 99 .top,
michael@0 100 .bottom {
michael@0 101 width: calc(100% - 2px);
michael@0 102 text-align: center;
michael@0 103 }
michael@0 104
michael@0 105 .padding.top {
michael@0 106 top: 55px;
michael@0 107 }
michael@0 108
michael@0 109 .padding.bottom {
michael@0 110 bottom: 57px;
michael@0 111 }
michael@0 112
michael@0 113 .border.top {
michael@0 114 top: 30px;
michael@0 115 }
michael@0 116
michael@0 117 .border.bottom {
michael@0 118 bottom: 31px;
michael@0 119 }
michael@0 120
michael@0 121 .margin.top {
michael@0 122 top: 5px;
michael@0 123 }
michael@0 124
michael@0 125 .margin.bottom {
michael@0 126 bottom: 6px;
michael@0 127 }
michael@0 128
michael@0 129 .size,
michael@0 130 .margin.left,
michael@0 131 .margin.right,
michael@0 132 .border.left,
michael@0 133 .border.right,
michael@0 134 .padding.left,
michael@0 135 .padding.right {
michael@0 136 top: 22px;
michael@0 137 line-height: 132px;
michael@0 138 }
michael@0 139
michael@0 140 .size {
michael@0 141 width: calc(100% - 2px);
michael@0 142 }
michael@0 143
michael@0 144 .margin.right,
michael@0 145 .margin.left,
michael@0 146 .border.left,
michael@0 147 .border.right,
michael@0 148 .padding.right,
michael@0 149 .padding.left {
michael@0 150 width: 25px;
michael@0 151 }
michael@0 152
michael@0 153 .padding.left {
michael@0 154 left: 52px;
michael@0 155 }
michael@0 156
michael@0 157 .padding.right {
michael@0 158 right: 51px;
michael@0 159 }
michael@0 160
michael@0 161 .border.left {
michael@0 162 left: 26px;
michael@0 163 }
michael@0 164
michael@0 165 .border.right {
michael@0 166 right: 26px;
michael@0 167 }
michael@0 168
michael@0 169 .margin.right {
michael@0 170 right: 0;
michael@0 171 }
michael@0 172
michael@0 173 .margin.left {
michael@0 174 left: 0;
michael@0 175 }
michael@0 176
michael@0 177 .rotate.left:not(.editing) {
michael@0 178 transform: rotate(-90deg);
michael@0 179 }
michael@0 180
michael@0 181 .rotate.right:not(.editing) {
michael@0 182 transform: rotate(90deg);
michael@0 183 }
michael@0 184
michael@0 185 .tooltip {
michael@0 186 position: absolute;
michael@0 187 bottom: 0;
michael@0 188 right: 2px;
michael@0 189 pointer-events: none;
michael@0 190 }
michael@0 191
michael@0 192 body.dim > #header > #element-position,
michael@0 193 body.dim > #main > p,
michael@0 194 body.dim > #main > .tooltip {
michael@0 195 visibility: hidden;
michael@0 196 }

mercurial