html
	head
		include imports/meta.import.pug
		title= title
		script.
			const ClassList = !{JSON.stringify(ClassList)};
			const Class = null;
			const RepoNames = !{JSON.stringify(RepoNames)};
			const StatisticsUser = !{JSON.stringify(StatisticsUser)};
			const isAdmin = !{JSON.stringify(isAdmin)};
			const isEditor = !{JSON.stringify(isEditor)};
			const Login = !{JSON.stringify(Login)};
		include imports/cdclientlib.import.pug
		include imports/jquery.import.pug
		include imports/global.import.pug
		include modules/context-menu.module.pug
		include modules/statistics.module.pug 
		include imports/socket.import.pug
		include imports/page.import.pug
	body
		div.main
			div.left
				include parts/left-header.part.pug
			div.right
				div#statistics
					div.title
						div.statistics-icon
						span= StatisticsUser ? 'Statistics for user: ' + StatisticsUser : 'Statistics'
					div.content
						if(!StatisticsUser)
							div.documented-info-content
							hr
						div.statistics-content
			div.context-menu.hidden