minor debug on html TOC display
bookmark enhancement
bookmark enhancement

+ debug on html TOC