smartxml: TextNode.split indicates which of the two return nodes is actually a new one
[fnpeditor.git] / src / editor / modules / documentHistory / documentHistory.less
1 .rng-module-documentHistory {
2     
3     .item {
4         padding: 5px 5px;
5         margin: 0 0 15px 0;
6         cursor: pointer;
7         
8         .version {
9             float: left;
10             width: 30px;
11             font-weight: bold;
12         }
13         
14         .date, .author, .description {
15             margin: 5px 10px 0 40px;
16         }
17         
18         .description {
19             font-size: .9em;
20         }
21     }
22     
23     .item.highlighted {
24         background: #ffec63;
25     }
26     
27     .item.disabled {
28         cursor: default;
29     }
30     
31     .toolbar {
32         margin: 0 0 15px 0;
33         white-space:nowrap; 
34         word-spacing:0;
35         min-height: 22px;
36         button {
37             margin-right: 10px;
38         }
39     }
40     
41     .rng-module-documentHistory-itemsList {
42         overflow-y: scroll;
43         position: absolute;
44         top: 30px;
45         bottom: 0;
46         left: 0;
47         right: 0;
48         &::-webkit-scrollbar {
49             .rng-mixin-scrollbar;
50         }
51         &::-webkit-scrollbar-track {
52             .rng-mixin-scrollbar-track;
53         }
54         &::-webkit-scrollbar-thumb {
55             .rng-mixin-scrollbar-thumb;
56         }
57         &::-webkit-scrollbar-thumb:window-inactive {
58             .rng-mixin-scrollbar-thumb-window-inactive;
59         }
60     }
61 }
62