@@ -2679,31 +2679,42 @@ <h3>Proofs</h3>
2679
2679
} ) ;
2680
2680
2681
2681
function toggleSidebar ( ) {
2682
+ if ( sidebar . classList . contains ( 'expanded' ) ) {
2683
+ closeSidebar ( ) ;
2684
+ }
2685
+ else {
2686
+ openSidebar ( ) ;
2687
+ }
2688
+ }
2689
+
2690
+ function openSidebar ( ) {
2682
2691
sidebar . classList . remove ( 'partially-expanded' ) ;
2683
- sidebar . classList . toggle ( 'expanded' ) ;
2684
2692
sidebar . classList . remove ( 'collapsed' ) ;
2685
- sidebarToggle . classList . toggle ( 'active' ) ;
2686
-
2687
- if ( sidebar . classList . contains ( 'expanded' ) ) {
2688
- sidebarToggle . title = "Hide Leagues" ;
2689
- sidebarToggle . setAttribute ( 'aria-label' , 'Hide Sidebar' ) ;
2690
2693
2691
- // Scroll to the leaderboard table when closing the sidebar
2692
- document . querySelector ( '.search-wrapper .sidebar-toggle' ) . scrollIntoView ( {
2693
- behavior : 'smooth' ,
2694
- block : 'start' ,
2695
- } ) ;
2696
- } else {
2697
- sidebarToggle . title = "Show Leagues" ;
2698
- sidebarToggle . setAttribute ( 'aria-label' , 'Show Sidebar' ) ;
2694
+ if ( ! sidebar . classList . contains ( 'expanded' ) ) {
2695
+ sidebar . classList . add ( 'expanded' ) ;
2699
2696
}
2697
+ if ( ! sidebarToggle . classList . contains ( 'active' ) ) {
2698
+ sidebarToggle . classList . add ( 'active' )
2699
+ }
2700
+
2701
+ sidebarToggle . title = "Hide Leagues" ;
2702
+ sidebarToggle . setAttribute ( 'aria-label' , 'Hide Sidebar' ) ;
2703
+
2704
+ // Scroll to the leaderboard table
2705
+ document . querySelector ( '.search-wrapper .sidebar-toggle' ) . scrollIntoView ( {
2706
+ behavior : 'smooth' ,
2707
+ block : 'start' ,
2708
+ } ) ;
2700
2709
}
2701
2710
2702
2711
function closeSidebar ( ) {
2703
2712
sidebar . classList . remove ( 'expanded' ) ;
2704
2713
sidebarToggle . classList . remove ( 'active' ) ;
2705
2714
sidebar . classList . remove ( 'partially-expanded' ) ;
2706
- sidebar . classList . add ( 'button-collapsed' ) ;
2715
+ if ( ! sidebar . classList . contains ( 'button-collapsed' ) ) {
2716
+ sidebar . classList . add ( 'button-collapsed' ) ;
2717
+ }
2707
2718
sidebarToggle . title = "Show Leagues" ;
2708
2719
sidebarToggle . setAttribute ( 'aria-label' , 'Show Sidebar' ) ;
2709
2720
0 commit comments