Update _themes/julia/localtoc.html