← Back to branch summary

~ubuntu-branches/debian/stretch/downthemall/stretch

« back to all changes in this revision

Viewing changes to chrome/skin/unix/manager.css

  • Committer: Package Import Robot
  • Author(s): Michael Meskes
  • Date: 2016-09-21 13:33:55 UTC
  • mto: This revision was merged to the branch mainline in revision 11.
  • Revision ID: package-import@ubuntu.com-20160921133355-ylst3mzzo82mghyw
Tags: upstream-3.0.6
Import upstream version 3.0.6

Show diffs side-by-side

added added

removed removed

Lines of Context:
chrome/skin/unix/manager.css
 
1
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
 
2
 
 
3
#loading {
 
4
        list-style-image: url(moz-icon://stock/gtk-dialog-info?size=dnd);
 
5
}
 
6
 
 
7
statusbarpanel#netstatus {
 
8
        list-style-image: url(moz-icon://stock/gtk-network?size=button);
 
9
}
 
10
 
 
11
statusbarpanel#netstatus[offline] {
 
12
        list-style-image: url(moz-icon://stock/gtk-network?size=button&state=disabled);
 
13
}
 
14
 
 
15
treecol > dropmarker {
 
16
        -moz-appearance: treetwistyopen;
 
17
}
 
18
 
 
19
#tools {
 
20
        -moz-appearance: menubar;
 
21
}
 
22
#tools > toolbarbutton {
 
23
        border: 1px solid transparent;
 
24
        -moz-appearance: none;
 
25
        color: -moz-menubartext;
 
26
        -moz-border-radius: 6.5px;
 
27
}
 
28
#tools > toolbarbutton[disabled="true"] {
 
29
        color: rgba(128,128,128,0.5);
 
30
}
 
31
#tools > toolbarbutton:hover:not([disabled="true"]) {
 
32
        border: 1px solid rgba(128,128,128,.5);
 
33
        background-clip: padding-box;
 
34
        background: rgba(128,128,128,.4)
 
35
                -moz-linear-gradient(rgba(128,128,128,.65),
 
36
                        rgba(128,128,128,0) 35%, rgba(128,128,128,.6));
 
37
}
 
38
#tools > toolbarbutton:active:not([disabled="true"]) {
 
39
        border: 1px inset rgba(128,128,128,.9);
 
40
}
 
41
 
 
42
#search image {
 
43
        list-style-image: url(moz-icon://stock/gtk-find?size=menu);
 
44
        max-height: 16px;
 
45
        max-width: 16px;
 
46
}