Actually bolding docs.html