@(title: String, repository: Option[gitbucket.core.service.RepositoryService.RepositoryInfo] = None, highlighterTheme: String = "github-v2")(body: Html)(implicit context: gitbucket.core.controller.Context) @import gitbucket.core.plugin.PluginRegistry @import gitbucket.core.view.helpers
@if(repository.isEmpty){ } @repository.map{ r => @r.repository.description.map{ desc => } }
@repository.map { repository => }
@context.settings.userDefinedCss.map { css =>
}
@body
@PluginRegistry().getJavaScript(context.request.getRequestURI).map { script =>
}