diff --git a/inc/html.php b/inc/html.php index 711cd8db60a45f17a9a6a2d27d0306fb2767e452..cdcd166d9c8d5e95bbc59318f9e626227b199b54 100644 --- a/inc/html.php +++ b/inc/html.php @@ -937,8 +937,14 @@ function html_list_index($item){ * @return string html */ function html_li_index($item){ + global $INFO; + if($item['type'] == "f"){ - return '<li class="level'.$item['level'].'">'; + // scroll to the current item + if($item['id'] == $INFO['id']) { + $id = ' id="scroll__here"'; + } + return '<li class="level'.$item['level'].'" '.$id.'>'; }elseif($item['open']){ return '<li class="open">'; }else{