change html_toc output, no <ul> wrapper anymore