new URL(module("lively.bootstrap").uri()).withoutTimemachinePath();
var preview = this.asHTMLLogo({asXML: false, asFragment: true}),
title = this.name || url.filename().replace(/\.x?html$/, ''),
bootstrapFile = bootstrapModuleURL.relativePathFrom(url),
css = lively.$("head style").toArray().map(function(el) {
return {css: el.textContent, id: el.getAttribute('id')}; }),
metaTags = this.getMetaTags(),
linkTags = this.getLinkTags(),
docSpec = {
title: title,
metaTags: metaTags,
linkTags: linkTags,
migrationLevel: LivelyMigrationSupport.migrationLevel,
serializedWorld: json,
html: preview,
styleSheets: css,
externalScripts: [bootstrapFile]
},
doc = lively.persistence.HTMLDocBuilder.documentForWorldSerializationAsString(docSpec);