Added highlighted styles
Updated documentation
Added sibyl sequence diagram