23
23
--selector-active-text-color : black;
24
24
--selector-background-color : # EEE ;
25
25
--selector-active-background-color : # FFCB80 ;
26
+ --selector-passive-background-color : # EEDDCC ;
26
27
--selector-hover-text-color : black;
27
28
--selector-hover-background-color : # FDB ;
28
29
54
55
--selector-background-color : # 444 ;
55
56
--selector-active-text-color : white;
56
57
--selector-active-background-color : # 088 ;
58
+ --selector-passive-background-color : # 566 ;
57
59
--selector-hover-text-color : black;
58
60
--selector-hover-background-color : white;
59
61
128
130
background : var (--selector-active-background-color );
129
131
}
130
132
133
+ .selector-passive {
134
+ color : var (--selector-active-text-color );
135
+ background : var (--selector-passive-background-color );
136
+ }
137
+
131
138
a , a : visited {
132
139
text-decoration : none;
133
140
color : var (--link-color );
143
150
background : var (--selector-background-color );
144
151
}
145
152
146
- .selector-active : hover {
153
+ .selector-active : hover , . selector-passive : hover {
147
154
background : var (--selector-hover-background-color );
148
155
}
149
156
@@ -630,6 +637,25 @@ <h2>Detailed Comparison</h2>
630
637
document . getElementById ( 'selector-tuned-no' ) . className = selectors . tuned . no ? 'selector selector-active' : 'selector' ;
631
638
}
632
639
640
+ function findPassiveSelectors ( filtered_data ) {
641
+ function process ( name , container ) {
642
+ const filtered = new Set ( filtered_data . map ( elem => elem [ name ] ) . flat ( ) . map ( x => String ( x ) ) ) ;
643
+ for ( let elem of container . childNodes ) {
644
+ if ( elem . tagName == 'A' ) {
645
+ if ( elem . classList . contains ( 'selector-active' ) && ! filtered . has ( elem . innerText ) ) {
646
+ elem . className = 'selector selector-passive' ;
647
+ } else if ( elem . classList . contains ( 'selector-passive' ) && filtered . has ( elem . innerText ) ) {
648
+ elem . className = 'selector selector-active' ;
649
+ }
650
+ }
651
+ }
652
+ }
653
+ process ( 'system' , systems ) ;
654
+ process ( 'tags' , types ) ;
655
+ process ( 'machine' , machines ) ;
656
+ process ( 'cluster_size' , cluster_sizes ) ;
657
+ }
658
+
633
659
function clearElement ( elem )
634
660
{
635
661
while ( elem . firstChild ) {
@@ -958,7 +984,6 @@ <h2>Detailed Comparison</h2>
958
984
sorted_indices . map ( idx => {
959
985
const curr_size = filtered_data [ idx ] . data_size ;
960
986
const baseline_size = Math . min ( ...filtered_data . map ( elem => elem . data_size ) . filter ( x => x ) ) ;
961
- console . log ( baseline_size ) ;
962
987
const ratio = curr_size !== null ? curr_size / baseline_size : null ;
963
988
964
989
let td = document . createElement ( 'td' ) ;
@@ -1016,6 +1041,8 @@ <h2>Detailed Comparison</h2>
1016
1041
1017
1042
details_body . appendChild ( tr ) ;
1018
1043
}
1044
+
1045
+ findPassiveSelectors ( filtered_data ) ;
1019
1046
}
1020
1047
1021
1048
function isSubsequence ( str , subseq ) {
@@ -1116,8 +1143,8 @@ <h2>Detailed Comparison</h2>
1116
1143
if ( ! selectors . tuned ) {
1117
1144
selectors . tuned = { "no" : true , "yes" : false } ;
1118
1145
}
1119
- render ( ) ;
1120
1146
updateSelectors ( ) ;
1147
+ render ( ) ;
1121
1148
} ;
1122
1149
1123
1150
if ( window . location . hash ) {
@@ -1132,8 +1159,8 @@ <h2>Detailed Comparison</h2>
1132
1159
} catch { }
1133
1160
}
1134
1161
1135
- render ( ) ;
1136
1162
updateSelectors ( ) ;
1163
+ render ( ) ;
1137
1164
1138
1165
</ script >
1139
1166
</ body >
0 commit comments