Added stylesheet for annotated source, and changed its title