projects
/
themes.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
EarlyBlue: remove obsoleted icons from extensions, update to new CSS for the new...
[themes.git]
/
EarlyBlue
/
global
/
tabbox.css
diff --git
a/EarlyBlue/global/tabbox.css
b/EarlyBlue/global/tabbox.css
index 6d00c6acd53201abcc80290a528386b566a420b3..8017a7d8a85e04ff2bba42b45a5f8c1b76e37dbe 100644
(file)
--- a/
EarlyBlue/global/tabbox.css
+++ b/
EarlyBlue/global/tabbox.css
@@
-78,7
+78,6
@@
tab {
}
tab[selected="true"] {
}
tab[selected="true"] {
- -moz-user-focus: normal;
font-weight: bold;
background-color: #EDF1FF;
}
font-weight: bold;
background-color: #EDF1FF;
}
@@
-87,13
+86,13
@@
tab:hover {
color: #336699;
}
color: #336699;
}
-tab:
focus
> .tab-middle {
+tab:
-moz-focusring
> .tab-middle {
/* Don't specify the outline-color, we should always use initial value. */
outline: 1px dotted;
}
/*
/* Don't specify the outline-color, we should always use initial value. */
outline: 1px dotted;
}
/*
-tab
[first-tab="true"]
[selected="true"] {
+tab
:first-of-type
[selected="true"] {
-moz-padding-end: 5px;
-moz-padding-start: 5px;
}
-moz-padding-end: 5px;
-moz-padding-start: 5px;
}