Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
1 /* General */
2 /* Specify the size for the wizardpage so the billboard has a fixed size. 3rd
3 party themes should typically specify the same values. */
4 wizardpage {
5 height: 360px;
6 width: 700px;
7 }
9 /* Remove margin and padding so the billboard will extend to the edge of the
10 window. 3rd party themes should typically specify the same values. */
11 #updates, .wizard-page-box {
12 margin: 0;
13 padding: 0;
14 }
16 .update-header {
17 padding: 0px 10px;
18 }
20 .update-content {
21 padding: 10px;
22 }
24 .loadingBox {
25 padding: 3px 5px 3px 5px;
26 }
28 .remoteLoadingThrobber {
29 margin-top: 3px;
30 }
32 .remoteLoadingThrobber[state="loading"] {
33 list-style-image: url("chrome://global/skin/icons/loading_16.png");
34 }
36 .remoteLoadingThrobber[state="error"] {
37 list-style-image: url("moz-icon://stock/gtk-dialog-error?size=menu");
38 }
40 .wizard-buttons-separator {
41 margin-top: 0 !important;
42 }
44 #licenseContent, #incompatibleListbox {
45 -moz-margin-start: 6px;
46 -moz-margin-end: 6px;
47 }
49 .inline-link {
50 color: -moz-nativehyperlinktext;
51 text-decoration: none;
52 }
54 .inline-link:hover {
55 text-decoration: underline;
56 }
58 /* Unsupported Page */
59 #unsupportedLabel, #unsupportedLinkLabel {
60 -moz-margin-start: 0;
61 -moz-padding-start: 0;
62 }
64 /* Update Found Basic Page */
65 #updateName, #updateFinishedName {
66 font-weight: bold;
67 font-size: larger;
68 }
70 /* License Page */
71 #licenseContent {
72 -moz-appearance: listbox;
73 }
75 /* Incompatible List Page */
76 #incompatibleListbox {
77 margin-bottom: 6px;
78 }
80 /* Downloading Page */
81 #downloadStatusLine {
82 -moz-box-align: center;
83 }
85 #downloadStatus {
86 height: 3em !important;
87 }
89 #downloadStatusProgress {
90 padding-right: 5px;
91 }
93 #pauseButton {
94 list-style-image: url("moz-icon://stock/gtk-media-pause?size=menu");
95 -moz-appearance: none;
96 background-color: transparent;
97 border: none;
98 min-width: 0;
99 min-height: 0;
100 margin: 0;
101 padding: 0;
102 }
104 /* !Important must be used otherwise this won't immediately take affect */
105 #pauseButton > .button-box {
106 padding: 0 !important;
107 }
109 #pauseButton[disabled="true"] {
110 list-style-image: url("moz-icon://stock/gtk-media-pause?size=menu&state=disabled");
111 }
113 #pauseButton[paused="true"] {
114 list-style-image: url("moz-icon://stock/gtk-media-play?size=menu");
115 }
117 #pauseButton[paused="true"][disabled="true"] {
118 list-style-image: url("moz-icon://stock/gtk-media-play?size=menu&state=disabled");
119 }
121 #verificationFailedIcon {
122 margin-left: 5px;
123 list-style-image: url("moz-icon://stock/gtk-dialog-warning?size=menu");
124 }
126 /* Error Page */
127 #errorReason {
128 margin-top: 1px;
129 margin-bottom: 2px;
130 -moz-margin-start: 6px !important;
131 -moz-margin-end: 5px;
132 font-weight: bold;
133 }
135 /* Update History Window */
136 update {
137 border-bottom: 1px dotted #C0C0C0;
138 }
140 .update-name {
141 font-weight: bold;
142 }
144 .update-label-column {
145 -moz-box-align: end;
146 }
148 .update-type {
149 font-weight: bold;
150 color: #990000;
151 }
153 #historyItems {
154 -moz-appearance: listbox;
155 height: 200px;
156 margin: 1px 5px 4px 5px;
157 }
159 #historyItems > scrollbox {
160 margin-bottom: 1px;
161 }