@@ -1987,12 +1987,10 @@ a.tooltip:hover::after {
19871987 color : inherit;
19881988}
19891989# search-tabs button : not (.selected ) {
1990- --search-tab-button-background : var (--search-tab-button-not-selected-background );
19911990 background-color : var (--search-tab-button-not-selected-background );
19921991 border-top-color : var (--search-tab-button-not-selected-border-top-color );
19931992}
19941993# search-tabs button : hover , # search-tabs button .selected {
1995- --search-tab-button-background : var (--search-tab-button-selected-background );
19961994 background-color : var (--search-tab-button-selected-background );
19971995 border-top-color : var (--search-tab-button-selected-border-top-color );
19981996}
@@ -2008,68 +2006,6 @@ a.tooltip:hover::after {
20082006 color : transparent;
20092007}
20102008
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-
20732009# search .error code {
20742010 border-radius : 3px ;
20752011 background-color : var (--search-error-code-background-color );
0 commit comments