Added some html formatting in the documentation.