/space-tree/src/main/resources/css/spacetree.css

 1.jit-autoadjust-label {
 2  padding: 15px;
 3}
 4
 5#update, #restore {
 6  text-align: center;
 7  width: 100px;
 8  margin:0px 35px 10px 35px;
 9}
10
11.button {
12  display: inline-block;
13  outline: none;
14  cursor: pointer;
15  text-align: center;
16  text-decoration: none;
17  font: 14px / 100% Arial, Helvetica, sans-serif;
18  padding: 0.5em 1em 0.55em;
19  text-shadow: 0px 1px 1px rgba(0, 0, 0, 0.3);
20  -webkit-border-radius: 0.5em;
21  -moz-border-radius: 0.5em;
22  border-radius: 0.5em;
23  -webkit-box-shadow: 0px 1px 2px rgba(0, 0, 0, 0.2);
24  -moz-box-shadow: 0px 1px 2px rgba(0, 0, 0, 0.2);
25  box-shadow: 0px 1px 2px rgba(0, 0, 0, 0.2);
26}
27
28.button:hover {
29  text-decoration: none;
30}
31
32.button:active {
33  position: relative;
34  top: 1px;
35}
36
37/* white */
38.white {
39  color: #606060;
40  border: solid 1px #b7b7b7;
41  background: #fff;
42  background: -webkit-gradient(linear, left top, left bottom, from(#fff), to(#ededed));
43  background: -moz-linear-gradient(top,  #fff,  #ededed);
44  filter:  progid:DXImageTransform.Microsoft.gradient(startColorstr='#ffffff', endColorstr='#ededed');
45}
46
47.white:hover {
48  background: #ededed;
49  background: -webkit-gradient(linear, left top, left bottom, from(#fff), to(#dcdcdc));
50  background: -moz-linear-gradient(top,  #fff,  #dcdcdc);
51  filter:  progid:DXImageTransform.Microsoft.gradient(startColorstr='#ffffff', endColorstr='#dcdcdc');
52}
53
54.white:active {
55  color: #999;
56  background: -webkit-gradient(linear, left top, left bottom, from(#ededed), to(#fff));
57  background: -moz-linear-gradient(top,  #ededed,  #fff);
58  filter:  progid:DXImageTransform.Microsoft.gradient(startColorstr='#ededed', endColorstr='#ffffff');
59}