added <hr/>-styling
improved doctag-description handling, and updated some doctags accordingly