The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/browser/themes/shared/devtools/app-manager/index.css	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,103 @@
     1.4 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.5 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.6 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.7 +
     1.8 +* {
     1.9 +  margin: 0;
    1.10 +  padding: 0;
    1.11 +  box-sizing: border-box;
    1.12 +  font-family: Lucida Grande, Helvetica, Helvetica Neue, sans-serif;
    1.13 +}
    1.14 +
    1.15 +#tabs {
    1.16 +  box-shadow: inset -4px 0 0 rgba(0,0,0,0.3);
    1.17 +  background: #252C33;
    1.18 +}
    1.19 +
    1.20 +#toolbox-tabs {
    1.21 +  overflow-y: auto;
    1.22 +}
    1.23 +
    1.24 +.button {
    1.25 +  width: 80px;
    1.26 +  height: 85px;
    1.27 +  padding-bottom: 5px;
    1.28 +  -moz-appearance: none;
    1.29 +  border: none;
    1.30 +  border-bottom: 1px solid #121214;
    1.31 +  background-color: transparent;
    1.32 +  color: #B5B8BB;
    1.33 +  cursor: pointer;
    1.34 +  text-align: center;
    1.35 +  -moz-box-align: end;
    1.36 +  font-size: 10px;
    1.37 +  text-shadow: 0 1px 0 #333;
    1.38 +  color: #9FA6AD;
    1.39 +}
    1.40 +
    1.41 +.button:first-child {
    1.42 +  border-top: none;
    1.43 +}
    1.44 +
    1.45 +.button[selected] {
    1.46 +  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;
    1.47 +  color: #DCE8F3;
    1.48 +  background-color: #1A4766;
    1.49 +  border-color: #191B1E;
    1.50 +}
    1.51 +
    1.52 +.button::-moz-focus-inner {
    1.53 +  border-width: 0;
    1.54 +}
    1.55 +
    1.56 +.panel {
    1.57 +  border-width: 0;
    1.58 +}
    1.59 +
    1.60 +.panel:not([selected="true"]) {
    1.61 +  display: none;
    1.62 +}
    1.63 +
    1.64 +.button.toolbox {
    1.65 +  background-repeat: no-repeat;
    1.66 +  background-position: center 15px;
    1.67 +  background-size: 40px 40px;
    1.68 +}
    1.69 +
    1.70 +.projects-button {
    1.71 +  background: url('chrome://browser/skin/devtools/app-manager/index-icons.svg') no-repeat;
    1.72 +  background-position: left -5px;
    1.73 +}
    1.74 +
    1.75 +.projects-button[selected] {
    1.76 +  background-position: right -5px;
    1.77 +}
    1.78 +
    1.79 +.device-button {
    1.80 +  background-image: url('chrome://browser/skin/devtools/app-manager/index-icons.svg');
    1.81 +  background-position: left -85px, top left;
    1.82 +  background-repeat: no-repeat, no-repeat;
    1.83 +  background-size: 160px 240px, 2px 80px;
    1.84 +}
    1.85 +
    1.86 +.device-button[selected] {
    1.87 +  background-position: right -85px, top left;
    1.88 +}
    1.89 +
    1.90 +.help-button {
    1.91 +  border-bottom: 0;
    1.92 +  background-image: url('chrome://browser/skin/devtools/app-manager/index-icons.svg');
    1.93 +  background-position: left -165px, top left;
    1.94 +  background-repeat: no-repeat, no-repeat;
    1.95 +  background-size: 160px 240px, 2px 80px;
    1.96 +}
    1.97 +
    1.98 +.help-button[selected] {
    1.99 +  background-position: right -165px, top left;
   1.100 +}
   1.101 +
   1.102 +#connection-footer {
   1.103 +  border-width: 0;
   1.104 +  height: 50px;
   1.105 +  min-height: 50px;
   1.106 +}