@@ -1987,12 +1987,10 @@ a.tooltip:hover::after {
1987
1987
color : inherit;
1988
1988
}
1989
1989
# search-tabs button : not (.selected ) {
1990
- --search-tab-button-background : var (--search-tab-button-not-selected-background );
1991
1990
background-color : var (--search-tab-button-not-selected-background );
1992
1991
border-top-color : var (--search-tab-button-not-selected-border-top-color );
1993
1992
}
1994
1993
# search-tabs button : hover , # search-tabs button .selected {
1995
- --search-tab-button-background : var (--search-tab-button-selected-background );
1996
1994
background-color : var (--search-tab-button-selected-background );
1997
1995
border-top-color : var (--search-tab-button-selected-border-top-color );
1998
1996
}
@@ -2008,68 +2006,6 @@ a.tooltip:hover::after {
2008
2006
color : transparent;
2009
2007
}
2010
2008
2011
- .search-form .loading {
2012
- --search-tab-button-background : var (--button-background-color );
2013
- }
2014
-
2015
- # search-tabs .count .loading ::before ,
2016
- .search-form .loading ::before
2017
- {
2018
- width : 16px ;
2019
- height : 16px ;
2020
- border-radius : 16px ;
2021
- background : radial-gradient (
2022
- var (--search-tab-button-background ) 0 50% ,
2023
- transparent 50% 100%
2024
- ), conic-gradient (
2025
- var (--code-highlight-kw-color ) 0deg 30deg ,
2026
- var (--code-highlight-prelude-color ) 30deg 60deg ,
2027
- var (--code-highlight-number-color ) 90deg 120deg ,
2028
- var (--code-highlight-lifetime-color ) 120deg 150deg ,
2029
- var (--code-highlight-comment-color ) 150deg 180deg ,
2030
- var (--code-highlight-self-color ) 180deg 210deg ,
2031
- var (--code-highlight-attribute-color ) 210deg 240deg ,
2032
- var (--code-highlight-literal-color ) 210deg 240deg ,
2033
- var (--code-highlight-macro-color ) 240deg 270deg ,
2034
- var (--code-highlight-question-mark-color ) 270deg 300deg ,
2035
- var (--code-highlight-prelude-val-color ) 300deg 330deg ,
2036
- var (--code-highlight-doc-comment-color ) 330deg 360deg
2037
- );
2038
- content : "" ;
2039
- position : absolute;
2040
- left : 2px ;
2041
- top : 2px ;
2042
- animation : rotating 1.25s linear infinite;
2043
- }
2044
- # search-tabs .count .loading ::after ,
2045
- .search-form .loading ::after
2046
- {
2047
- width : 18px ;
2048
- height : 18px ;
2049
- border-radius : 18px ;
2050
- background : conic-gradient (
2051
- var (--search-tab-button-background ) 0deg 180deg ,
2052
- transparent 270deg 360deg
2053
- );
2054
- content : "" ;
2055
- position : absolute;
2056
- left : 1px ;
2057
- top : 1px ;
2058
- animation : rotating 0.66s linear infinite;
2059
- }
2060
-
2061
- .search-form .loading ::before {
2062
- left : auto;
2063
- right : 9px ;
2064
- top : 8px ;
2065
- }
2066
-
2067
- .search-form .loading ::after {
2068
- left : auto;
2069
- right : 8px ;
2070
- top : 8px ;
2071
- }
2072
-
2073
2009
# search .error code {
2074
2010
border-radius : 3px ;
2075
2011
background-color : var (--search-error-code-background-color );
0 commit comments