Print-pdf mods. Add missing higlightjs style file. Add missing logo.