Merge "Change 'editfont' default preference to 'monospace'"
[lhc/web/wiklou.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.ui.ChangesListWrapperWidget.less
1 @import 'mw.rcfilters.mixins';
2
3 @keyframes fadeBlue {
4 60% {
5 border-top-color: #36c;
6 }
7 100% {
8 border-top-color: #c8ccd1;
9 }
10 }
11
12 .mw-rcfilters-ui-changesListWrapperWidget {
13
14 &-newChanges {
15 min-height: 34px;
16 margin: 10px 0;
17 text-align: center;
18 }
19
20 &-previousChangesIndicator {
21 margin: 10px 0;
22 border-top: 2px solid #c8ccd1;
23 animation: 1s ease fadeBlue;
24 }
25
26 &-results {
27 width: 35em;
28 margin: 5em auto;
29
30 &-noresult,
31 &-conflict {
32 font-weight: bold;
33 margin-bottom: 0.5em;
34 }
35 }
36
37 ul {
38 // Each li's margin-left should be the width of the highlights
39 // element + the margin
40 margin-left: ~'calc( ( @{result-circle-diameter} + @{result-circle-margin} ) * 5 + @{result-circle-general-margin} )';
41 }
42
43 &-highlighted {
44 ul {
45 list-style: none;
46
47 li {
48 list-style: none;
49 }
50 }
51 }
52
53 .mw-changeslist-legend {
54 background-color: #fff;
55 }
56
57 // Correction for Enhanced RC
58 // This is outside the scope of the 'highlights' wrapper
59 table.mw-enhanced-rc {
60 margin-left: ~'calc( ( @{result-circle-diameter} + @{result-circle-margin} ) * 5 + @{result-circle-general-margin} )';
61
62 td:last-child {
63 width: 100%;
64 }
65 }
66
67 &-highlights {
68 display: none;
69 padding: 0 @result-circle-general-margin 0 0;
70 text-align: right;
71 // The width is 5 circles times their diameter + individual margin
72 // and then plus the general margin
73 width: ~'calc( ( @{result-circle-diameter} + @{result-circle-margin} ) * 5 )';
74 // And we want to shift the entire block to the left of the li
75 position: absolute;
76 left: 0;
77
78 .mw-rcfilters-ui-changesListWrapperWidget-highlighted & {
79 display: inline-block;
80 }
81
82 div {
83 .box-sizing( border-box );
84 margin-right: @result-circle-margin;
85 vertical-align: middle;
86 // This is to make the dots appear at the center of the
87 // text itself; it's a horrendous hack and blame JamesF for it.
88 margin-top: -2px;
89 }
90
91 &-color {
92
93 &-none {
94 .mw-rcfilters-mixin-circle( @highlight-none, @result-circle-diameter, 0, true );
95 display: inline-block;
96
97 .mw-rcfilters-highlight-color-c1 &,
98 .mw-rcfilters-highlight-color-c2 &,
99 .mw-rcfilters-highlight-color-c3 &,
100 .mw-rcfilters-highlight-color-c4 &,
101 .mw-rcfilters-highlight-color-c5 & {
102 display: none;
103 }
104 }
105 .result-circle( c1 );
106 .result-circle( c2 );
107 .result-circle( c3 );
108 .result-circle( c4 );
109 .result-circle( c5 );
110 }
111 }
112
113 // One color
114 .mw-rcfilters-highlight-color-c1 {
115 background-color: tint( @highlight-c1, 70% );
116 }
117
118 .mw-rcfilters-highlight-color-c2 {
119 background-color: tint( @highlight-c2, 70% );
120 }
121
122 .mw-rcfilters-highlight-color-c3 {
123 background-color: tint( @highlight-c3, 70% );
124 }
125
126 .mw-rcfilters-highlight-color-c4 {
127 background-color: tint( @highlight-c4, 70% );
128 }
129
130 .mw-rcfilters-highlight-color-c5 {
131 background-color: tint( @highlight-c5, 70% );
132 }
133
134 // Two colors
135 .highlight-color-mix( c1, c2 );
136 // Overriding .highlight-color-mix( c1, c3 ); to produce
137 // a custom color rather than the computed tint
138 // see https://phabricator.wikimedia.org/T161267
139 .mw-rcfilters-highlight-color-c1.mw-rcfilters-highlight-color-c3 {
140 background-color: #ccdecc;
141 }
142 .highlight-color-mix( c1, c4 );
143 .highlight-color-mix( c1, c5 );
144 .highlight-color-mix( c2, c3 );
145 .highlight-color-mix( c2, c4 );
146 .highlight-color-mix( c2, c5 );
147 .highlight-color-mix( c3, c4 );
148 .highlight-color-mix( c3, c5 );
149 .highlight-color-mix( c4, c5 );
150
151 // Three colors
152 .highlight-color-mix( c1, c2, c3 );
153 .highlight-color-mix( c1, c2, c5 );
154 .highlight-color-mix( c1, c2, c4 );
155 .highlight-color-mix( c1, c3, c4 );
156 .highlight-color-mix( c1, c3, c5 );
157 .highlight-color-mix( c1, c4, c5 );
158 .highlight-color-mix( c2, c3, c4 );
159 .highlight-color-mix( c2, c3, c5 );
160 .highlight-color-mix( c2, c4, c5 );
161 .highlight-color-mix( c3, c4, c5 );
162
163 // Four colors
164 .highlight-color-mix( c1, c2, c3, c4 );
165 .highlight-color-mix( c1, c2, c3, c5 );
166 .highlight-color-mix( c1, c2, c4, c5 );
167 .highlight-color-mix( c1, c3, c4, c5 );
168 .highlight-color-mix( c2, c3, c4, c5 );
169
170 // Five colors:
171 .mw-rcfilters-highlight-color-c1.mw-rcfilters-highlight-color-c2.mw-rcfilters-highlight-color-c3.mw-rcfilters-highlight-color-c4.mw-rcfilters-highlight-color-c5 {
172 background-color: tint( mix( @highlight-c1, mix( @highlight-c2, mix( @highlight-c3, average( @highlight-c4, @highlight-c5 ), 20% ), 20% ), 20% ), 15% );
173 }
174 }