der-radius: 2px;"></div>
									<div style="flex: 1; text-align: center"><span class="infoShowProblems disabled" style="cursor: pointer" info="infoShowProblems"></span></div>
									<div style="margin: 0px 5px; width: 4px; height: 20px; background: #777; border-radius: 2px;"></div>
									<div style="flex: 1; text-align: center"><span class="infoShowSubmissions disabled" style="cursor: pointer" info="infoShowSubmissions"></span></div>
									<div style="margin: 0px 5px; width: 4px; height: 20px; bac