@@ -407,22 +407,22 @@ img {
407407}
408408
409409.sidebar-resizer {
410- width : 3px ;
411- margin : 0 3px ;
410+ width : 9px ;
412411 cursor : col-resize;
413412 z-index : 10 ;
414413 position : absolute;
415414 height : 100% ;
416- left : var (--desktop-sidebar-width , 200px );
415+ /* make sure there's a 1px gap between the scrollbar and resize handle */
416+ left : calc (var (--desktop-sidebar-width , 200px ) + 1px );
417417}
418418
419419.rustdoc .src .sidebar-resizer {
420- left : 50px ;
421- width : 6px ;
422- margin : 0 3px 0 0 ;
420+ /* when closed, place resizer glow on top of the normal src sidebar border (no need to worry about sidebar) */
421+ left : 49px ;
423422}
424423
425424.src-sidebar-expanded .rustdoc .src .sidebar-resizer {
425+ /* for src sidebar, gap is already provided by 1px border on sidebar itself, so place resizer to right of it */
426426 left : var (--src-sidebar-width , 300px );
427427}
428428
@@ -439,16 +439,35 @@ img {
439439
440440.sidebar-resizer : hover ,
441441.sidebar-resizer : active ,
442- .sidebar-resizer : focus {
443- width : 9px ;
442+ .sidebar-resizer : focus ,
443+ .sidebar-resizer .active {
444+ width : 10px ;
444445 margin : 0 ;
446+ /* when active or hovered, place resizer glow on top of the sidebar (right next to, or even on top of, the scrollbar) */
447+ left : var (--desktop-sidebar-width , 200px );
448+ border-left : solid 1px var (--sidebar-resizer-hover );
449+ }
450+
451+ .src-sidebar-expanded .rustdoc .src .sidebar-resizer : hover ,
452+ .src-sidebar-expanded .rustdoc .src .sidebar-resizer : active ,
453+ .src-sidebar-expanded .rustdoc .src .sidebar-resizer : focus ,
454+ .src-sidebar-expanded .rustdoc .src .sidebar-resizer .active {
455+ /* when active or hovered, place resizer glow on top of the normal src sidebar border */
456+ left : calc (var (--src-sidebar-width , 300px ) - 1px );
445457}
446458
447459.sidebar-resizer .active {
448- /* when dragging the sidebar into nothing, make sure the items inside
449- don't get hovered over */
450- width : 141px ;
451- margin : 0 -66px ;
460+ /* make the resize tool bigger when actually resizing, to avoid :hover styles on other stuff while resizing */
461+ padding : 0 140px ;
462+ width : 2px ;
463+ margin-left : -140px ;
464+ border-left : none;
465+ }
466+ .sidebar-resizer .active : before {
467+ border-left : solid 2px var (--sidebar-resizer-active );
468+ display : block;
469+ height : 100% ;
470+ content : "" ;
452471}
453472
454473.sidebar , .mobile-topbar , .sidebar-menu-toggle ,
0 commit comments