File tree Expand file tree Collapse file tree 3 files changed +11
-4
lines changed
Expand file tree Collapse file tree 3 files changed +11
-4
lines changed Original file line number Diff line number Diff line change 6363
6464# grab mdbook
6565# we hardcode linux/amd64 since rust uses a different naming scheme and it's a pain to tran
66- echo " downloading mdBook-v0.4.34 -${arch} -${target} .${ext} "
66+ echo " downloading mdBook-v0.4.40 -${arch} -${target} .${ext} "
6767set -x
68- curl -sL -o /tmp/mdbook.${ext} https://github.com/rust-lang/mdBook/releases/download/v0.4.34 /mdBook-v0.4.34 -${arch} -${target} .${ext}
68+ curl -sL -o /tmp/mdbook.${ext} https://github.com/rust-lang/mdBook/releases/download/v0.4.40 /mdBook-v0.4.40 -${arch} -${target} .${ext}
6969${cmd} /tmp/mdbook.${ext}
7070chmod +x /tmp/mdbook
7171
Original file line number Diff line number Diff line change 11.menu-title img {
22 vertical-align : bottom;
33}
4+
5+ # sidebar-toggle-anchor : checked .page-wrapper {
6+ margin-inline-start : calc (var (--sidebar-width ) + var (--sidebar-resize-indicator-width ));
7+ }
Original file line number Diff line number Diff line change 8383 html .classList .add (' js' );
8484 </script >
8585
86+ <input type =" checkbox" id =" sidebar-toggle-anchor" class =" hidden" >
8687 <!-- Hide / unhide sidebar before it is displayed -->
8788 <script type =" text/javascript" >
8889 var html = document .querySelector (' html' );
8990 var sidebar = ' hidden' ;
91+ var sidebar_toggle = document .getElementById (" sidebar-toggle-anchor" );
9092 if (document .body .clientWidth >= 1080 ) {
9193 try { sidebar = localStorage .getItem (' mdbook-sidebar' ); } catch (e) { }
9294 sidebar = sidebar || ' visible' ;
9395 }
96+ sidebar_toggle .checked = sidebar === ' visible' ;
9497 html .classList .remove (' sidebar-visible' );
9598 html .classList .add (" sidebar-" + sidebar);
9699 </script >
108111 <div id =" menu-bar-hover-placeholder" ></div >
109112 <div id =" menu-bar" class =" menu-bar sticky bordered" >
110113 <div class =" left-buttons" >
111- <button id =" sidebar-toggle" class =" icon-button" type = " button " title =" Toggle Table of Contents" aria-label =" Toggle Table of Contents" aria-controls =" sidebar" >
114+ <label id =" sidebar-toggle" class =" icon-button" for = " sidebar-toggle-anchor " title =" Toggle Table of Contents" aria-label =" Toggle Table of Contents" aria-controls =" sidebar" >
112115 <i class =" fa fa-bars" ></i >
113- </button >
116+ </label >
114117 <button id =" theme-toggle" class =" icon-button" type =" button" title =" Change theme" aria-label =" Change theme" aria-haspopup =" true" aria-expanded =" false" aria-controls =" theme-list" >
115118 <i class =" fa fa-paint-brush" ></i >
116119 </button >
You can’t perform that action at this time.
0 commit comments