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