@@ -1934,10 +1934,12 @@ a.tooltip:hover::after {
1934
1934
color : inherit;
1935
1935
}
1936
1936
# search-tabs button : not (.selected ) {
1937
+ --search-tab-button-background : var (--search-tab-button-not-selected-background );
1937
1938
background-color : var (--search-tab-button-not-selected-background );
1938
1939
border-top-color : var (--search-tab-button-not-selected-border-top-color );
1939
1940
}
1940
1941
# search-tabs button : hover , # search-tabs button .selected {
1942
+ --search-tab-button-background : var (--search-tab-button-selected-background );
1941
1943
background-color : var (--search-tab-button-selected-background );
1942
1944
border-top-color : var (--search-tab-button-selected-border-top-color );
1943
1945
}
@@ -1946,6 +1948,53 @@ a.tooltip:hover::after {
1946
1948
font-size : 1rem ;
1947
1949
font-variant-numeric : tabular-nums;
1948
1950
color : var (--search-tab-title-count-color );
1951
+ position : relative;
1952
+ }
1953
+
1954
+ # search-tabs .count .loading {
1955
+ color : transparent;
1956
+ }
1957
+
1958
+ # search-tabs .count .loading ::before {
1959
+ width : 16px ;
1960
+ height : 16px ;
1961
+ border-radius : 16px ;
1962
+ background : radial-gradient (
1963
+ var (--search-tab-button-background ) 0 50% ,
1964
+ transparent 50% 100%
1965
+ ), conic-gradient (
1966
+ var (--code-highlight-kw-color ) 0deg 30deg ,
1967
+ var (--code-highlight-prelude-color ) 30deg 60deg ,
1968
+ var (--code-highlight-number-color ) 90deg 120deg ,
1969
+ var (--code-highlight-lifetime-color ) 120deg 150deg ,
1970
+ var (--code-highlight-comment-color ) 150deg 180deg ,
1971
+ var (--code-highlight-self-color ) 180deg 210deg ,
1972
+ var (--code-highlight-attribute-color ) 210deg 240deg ,
1973
+ var (--code-highlight-literal-color ) 210deg 240deg ,
1974
+ var (--code-highlight-macro-color ) 240deg 270deg ,
1975
+ var (--code-highlight-question-mark-color ) 270deg 300deg ,
1976
+ var (--code-highlight-prelude-val-color ) 300deg 330deg ,
1977
+ var (--code-highlight-doc-comment-color ) 330deg 360deg
1978
+ );
1979
+ content : "" ;
1980
+ position : absolute;
1981
+ left : 2px ;
1982
+ top : 2px ;
1983
+ animation : rotating 1.25s linear infinite;
1984
+ }
1985
+ # search-tabs .count .loading ::after {
1986
+ width : 18px ;
1987
+ height : 18px ;
1988
+ border-radius : 18px ;
1989
+ background : conic-gradient (
1990
+ var (--search-tab-button-background ) 0deg 180deg ,
1991
+ transparent 270deg 360deg
1992
+ );
1993
+ content : "" ;
1994
+ position : absolute;
1995
+ left : 1px ;
1996
+ top : 1px ;
1997
+ animation : rotating 0.66s linear infinite;
1949
1998
}
1950
1999
1951
2000
# search .error code {
0 commit comments