browser/themes/osx/devtools/commandline.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 .gcli-body {
michael@0 6 margin: 0;
michael@0 7 font: message-box;
michael@0 8 color: hsl(210,30%,85%);
michael@0 9 }
michael@0 10
michael@0 11 #gcli-output-root,
michael@0 12 #gcli-tooltip-root {
michael@0 13 border: 1px solid hsl(206,37%,4%);
michael@0 14 box-shadow: 0 1px 0 hsla(209,29%,72%,.25) inset;
michael@0 15 background-image: url(background-noise-toolbar.png),
michael@0 16 linear-gradient(hsla(209,18%,18%,0.9), hsl(209,23%,18%));
michael@0 17 border-radius: 3px;
michael@0 18 }
michael@0 19
michael@0 20 #gcli-output-root {
michael@0 21 padding: 5px 10px;
michael@0 22 border-bottom-left-radius: 0;
michael@0 23 border-bottom-right-radius: 0;
michael@0 24 border-bottom: 0;
michael@0 25 }
michael@0 26
michael@0 27 #gcli-tooltip-root {
michael@0 28 padding: 5px 0px;
michael@0 29 }
michael@0 30
michael@0 31 #gcli-tooltip-connector {
michael@0 32 margin-top: -1px;
michael@0 33 margin-left: 8px;
michael@0 34 width: 20px;
michael@0 35 height: 10px;
michael@0 36 border-left: 1px solid hsl(206,37%,4%);
michael@0 37 border-right: 1px solid hsl(206,37%,4%);
michael@0 38 background-color: hsl(209,23%,18%);
michael@0 39 background-image: url(background-noise-toolbar.png);
michael@0 40 }
michael@0 41
michael@0 42 .gcli-tt-description,
michael@0 43 .gcli-tt-error {
michael@0 44 padding: 0 10px;
michael@0 45 }
michael@0 46
michael@0 47 .gcli-row-out {
michael@0 48 padding: 0 5px;
michael@0 49 line-height: 1.2em;
michael@0 50 border-top: none;
michael@0 51 border-bottom: none;
michael@0 52 color: hsl(210,30%,85%);
michael@0 53 }
michael@0 54
michael@0 55 .gcli-row-out p,
michael@0 56 .gcli-row-out h1,
michael@0 57 .gcli-row-out h2,
michael@0 58 .gcli-row-out h3 {
michael@0 59 margin: 5px 0;
michael@0 60 }
michael@0 61
michael@0 62 .gcli-row-out h1,
michael@0 63 .gcli-row-out h2,
michael@0 64 .gcli-row-out h3,
michael@0 65 .gcli-row-out h4,
michael@0 66 .gcli-row-out h5,
michael@0 67 .gcli-row-out th,
michael@0 68 .gcli-row-out strong,
michael@0 69 .gcli-row-out pre {
michael@0 70 color: hsl(210,30%,95%);
michael@0 71 }
michael@0 72
michael@0 73 .gcli-row-out pre {
michael@0 74 font-size: 80%;
michael@0 75 }
michael@0 76
michael@0 77 .gcli-row-out td {
michael@0 78 white-space: nowrap;
michael@0 79 }
michael@0 80
michael@0 81 .gcli-out-shortcut,
michael@0 82 .gcli-help-synopsis {
michael@0 83 padding: 0 3px;
michael@0 84 margin: 0 4px;
michael@0 85 font-weight: normal;
michael@0 86 font-size: 90%;
michael@0 87 border-radius: 3px;
michael@0 88 background-color: hsl(209,23%,18%);
michael@0 89 border: 1px solid hsl(206,37%,4%);
michael@0 90 }
michael@0 91
michael@0 92 .gcli-out-shortcut:before,
michael@0 93 .gcli-help-synopsis:before {
michael@0 94 color: hsl(210,30%,85%);
michael@0 95 -moz-padding-end: 2px;
michael@0 96 }
michael@0 97
michael@0 98 .gcli-help-arrow {
michael@0 99 color: #666;
michael@0 100 }
michael@0 101
michael@0 102 .gcli-help-description {
michael@0 103 margin: 0 20px;
michael@0 104 padding: 0;
michael@0 105 }
michael@0 106
michael@0 107 .gcli-help-parameter {
michael@0 108 margin: 0 30px;
michael@0 109 padding: 0;
michael@0 110 }
michael@0 111
michael@0 112 .gcli-help-header {
michael@0 113 margin: 10px 0 6px;
michael@0 114 }
michael@0 115
michael@0 116 .gcli-menu-name {
michael@0 117 -moz-padding-start: 8px;
michael@0 118 }
michael@0 119
michael@0 120 .gcli-menu-desc {
michael@0 121 -moz-padding-end: 8px;
michael@0 122 color: hsl(210,30%,75%);
michael@0 123 }
michael@0 124
michael@0 125 .gcli-menu-name:hover,
michael@0 126 .gcli-menu-desc:hover {
michael@0 127 background-color: hsla(0,0%,0%,.3);
michael@0 128 }
michael@0 129
michael@0 130 .gcli-menu-highlight,
michael@0 131 .gcli-menu-highlight:hover {
michael@0 132 background-color: hsla(0,100%,100%,.1);
michael@0 133 }
michael@0 134
michael@0 135 .gcli-menu-typed {
michael@0 136 color: hsl(25,78%,50%);
michael@0 137 }
michael@0 138
michael@0 139 .gcli-menu-more {
michael@0 140 font-size: 80%;
michael@0 141 text-align: right;
michael@0 142 -moz-padding-end: 8px;
michael@0 143 }
michael@0 144
michael@0 145 .gcli-addon-disabled {
michael@0 146 opacity: 0.6;
michael@0 147 text-decoration: line-through;
michael@0 148 }
michael@0 149
michael@0 150 .gcli-breakpoint-label {
michael@0 151 font-weight: bold;
michael@0 152 }
michael@0 153
michael@0 154 .gcli-breakpoint-lineText {
michael@0 155 font-family: monospace;
michael@0 156 }

mercurial