private static string FormatStatistics(Statistics statistics)
 {
     return statistics.FormatTestCaseResultSummary();
 }
            private void RenderNavigator(Statistics statistics, IEnumerable<TestStepRun> rootRuns)
            {
                writer.Write("<div id=\"Navigator\" class=\"navigator\">");
                writer.Write("<a href=\"#Details\" title=\"");
                WriteHtmlEncoded(writer, statistics.FormatTestCaseResultSummary());
                writer.Write("\" class=\"navigator-box ");
                writer.Write(StatusCssClassFromStatistics(statistics));
                writer.Write("\"></a>");
                writer.Write("<div class=\"navigator-stripes\">");

                int count = 0;
                foreach (TestStepRun testStepRun in GetAllRuns(rootRuns))
                    count += 1;

                int i = 0;
                foreach (TestStepRun testStepRun in GetAllRuns(rootRuns))
                {
                    float position = i * 98 / count + 1;
                    i++;

                    if (testStepRun.Result.Outcome.Status == TestStatus.Passed ||
                        (!testStepRun.Step.IsTestCase && testStepRun.Children.Count != 0))
                        continue;

                    writer.Write("<a href=\"#testStepRun-");
                    WriteHtmlEncoded(writer, testStepRun.Step.Id);
                    writer.Write("\" style=\"top: ");
                    writer.Write(position.ToString(CultureInfo.InvariantCulture));
                    writer.Write("%\"");

                    string status = Enum.GetName(typeof(TestStatus), testStepRun.Result.Outcome.Status).ToLower();
                    writer.Write(" class=\"status-");
                    writer.Write(status);
                    writer.Write("\" title=\"");
                    WriteHtmlEncoded(writer, testStepRun.Step.Name);
                    writer.Write(" ");
                    writer.Write(status);
                    writer.Write("\"></a>");
                }

                writer.Write("</div></div>");
            }