projects
/
themes.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
finish sync of LCARStrek with Firefox 23 browser windows theme changes
[themes.git]
/
LCARStrek
/
browser
/
devtools
/
toolbox.css
diff --git
a/LCARStrek/browser/devtools/toolbox.css
b/LCARStrek/browser/devtools/toolbox.css
index 2fbf6a64ae13bde296f41fc9dd8ea943677a795e..fcdd6bc98d84f6481c597177cef41f25e4ec31f9 100644
(file)
--- a/
LCARStrek/browser/devtools/toolbox.css
+++ b/
LCARStrek/browser/devtools/toolbox.css
@@
-137,8
+137,8
@@
window {
}
.devtools-tab {
}
.devtools-tab {
- min-width:
88
px;
- /* min-height: 22px; */
+ min-width:
32
px;
+ max-width: 110px;
color: #000000;
margin: 0;
-moz-margin-end: 3px;
color: #000000;
margin: 0;
-moz-margin-end: 3px;
@@
-148,20
+148,20
@@
window {
border-radius: 8px 8px 0 0;
}
border-radius: 8px 8px 0 0;
}
-.devtools-tab >
.radio-label-center-box > .radio-label-box
{
-
padding: 0 6
px;
- border-radius: 8px 8px 0 0;
+.devtools-tab >
image
{
+
-moz-margin-end: 0
px;
+/* -moz-margin-start: 4px; */
}
}
-
.devtools-tab > .radio-label-center-box > .radio-label-box > .radio-icon
{
- -moz-margin-end: 6px;
+
#toolbox-tab-options > image
{
+/* margin: 0 8px; */
}
}
-.devtools-tab:hover >
.radio-label-center-box > .radio-label-box > .radio-icon
{
+.devtools-tab:hover >
image
{
}
}
-.devtools-tab:active >
.radio-label-center-box > .radio-label-box > .radio-icon
,
-.devtools-tab[selected=true] >
.radio-label-center-box > .radio-label-box > .radio-icon
{
+.devtools-tab:active >
image
,
+.devtools-tab[selected=true] >
image
{
}
.devtools-tab:hover,
}
.devtools-tab:hover,
@@
-170,11
+170,6
@@
window {
color: #000000;
}
color: #000000;
}
-.devtools-tab:hover > .radio-label-center-box > .radio-label-box,
-.devtools-tab:hover:active > .radio-label-center-box > .radio-label-box {
- color: #000000;
-}
-
.devtools-tab[selected=true] {
background-color: #008484;
color: #000000;
.devtools-tab[selected=true] {
background-color: #008484;
color: #000000;