browser/themes/shared/devtools/app-manager/index.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 * {
michael@0 6 margin: 0;
michael@0 7 padding: 0;
michael@0 8 box-sizing: border-box;
michael@0 9 font-family: Lucida Grande, Helvetica, Helvetica Neue, sans-serif;
michael@0 10 }
michael@0 11
michael@0 12 #tabs {
michael@0 13 box-shadow: inset -4px 0 0 rgba(0,0,0,0.3);
michael@0 14 background: #252C33;
michael@0 15 }
michael@0 16
michael@0 17 #toolbox-tabs {
michael@0 18 overflow-y: auto;
michael@0 19 }
michael@0 20
michael@0 21 .button {
michael@0 22 width: 80px;
michael@0 23 height: 85px;
michael@0 24 padding-bottom: 5px;
michael@0 25 -moz-appearance: none;
michael@0 26 border: none;
michael@0 27 border-bottom: 1px solid #121214;
michael@0 28 background-color: transparent;
michael@0 29 color: #B5B8BB;
michael@0 30 cursor: pointer;
michael@0 31 text-align: center;
michael@0 32 -moz-box-align: end;
michael@0 33 font-size: 10px;
michael@0 34 text-shadow: 0 1px 0 #333;
michael@0 35 color: #9FA6AD;
michael@0 36 }
michael@0 37
michael@0 38 .button:first-child {
michael@0 39 border-top: none;
michael@0 40 }
michael@0 41
michael@0 42 .button[selected] {
michael@0 43 box-shadow: inset -4px 0 0 rgba(0,0,0,0.3), inset 2px 0 0 #DEFFFF, inset 3px 0 0 #8DC7E8, inset 4px 0 1px #1D6496;
michael@0 44 color: #DCE8F3;
michael@0 45 background-color: #1A4766;
michael@0 46 border-color: #191B1E;
michael@0 47 }
michael@0 48
michael@0 49 .button::-moz-focus-inner {
michael@0 50 border-width: 0;
michael@0 51 }
michael@0 52
michael@0 53 .panel {
michael@0 54 border-width: 0;
michael@0 55 }
michael@0 56
michael@0 57 .panel:not([selected="true"]) {
michael@0 58 display: none;
michael@0 59 }
michael@0 60
michael@0 61 .button.toolbox {
michael@0 62 background-repeat: no-repeat;
michael@0 63 background-position: center 15px;
michael@0 64 background-size: 40px 40px;
michael@0 65 }
michael@0 66
michael@0 67 .projects-button {
michael@0 68 background: url('chrome://browser/skin/devtools/app-manager/index-icons.svg') no-repeat;
michael@0 69 background-position: left -5px;
michael@0 70 }
michael@0 71
michael@0 72 .projects-button[selected] {
michael@0 73 background-position: right -5px;
michael@0 74 }
michael@0 75
michael@0 76 .device-button {
michael@0 77 background-image: url('chrome://browser/skin/devtools/app-manager/index-icons.svg');
michael@0 78 background-position: left -85px, top left;
michael@0 79 background-repeat: no-repeat, no-repeat;
michael@0 80 background-size: 160px 240px, 2px 80px;
michael@0 81 }
michael@0 82
michael@0 83 .device-button[selected] {
michael@0 84 background-position: right -85px, top left;
michael@0 85 }
michael@0 86
michael@0 87 .help-button {
michael@0 88 border-bottom: 0;
michael@0 89 background-image: url('chrome://browser/skin/devtools/app-manager/index-icons.svg');
michael@0 90 background-position: left -165px, top left;
michael@0 91 background-repeat: no-repeat, no-repeat;
michael@0 92 background-size: 160px 240px, 2px 80px;
michael@0 93 }
michael@0 94
michael@0 95 .help-button[selected] {
michael@0 96 background-position: right -165px, top left;
michael@0 97 }
michael@0 98
michael@0 99 #connection-footer {
michael@0 100 border-width: 0;
michael@0 101 height: 50px;
michael@0 102 min-height: 50px;
michael@0 103 }

mercurial