public static void SetupNavBarHtml(this HtmlTextWriter writer, double totalReportsCoverage)
{
writer.AddStyleAttribute(HtmlTextWriterStyle.Padding, "10px 10px 20px 10px");
writer.AddStyleAttribute(HtmlTextWriterStyle.Margin, "5px");
writer.AddStyleAttribute(HtmlTextWriterStyle.FontFamily, "Roboto sans-serif");
writer.AddStyleAttribute(HtmlTextWriterStyle.FontSize, "28px");
writer.AddStyleAttribute(HtmlTextWriterStyle.FontWeight, "500");
writer.AddStyleAttribute(HtmlTextWriterStyle.Display, "inline-block");
writer.AddAttribute(HtmlTextWriterAttribute.Class, "nav-bar-row");
writer.RenderBeginTag(HtmlTextWriterTag.Div);
writer.Write("Coverage Summary:");
writer.RenderEndTag();
writer.AddStyleAttribute(HtmlTextWriterStyle.Margin, "5px");
writer.AddStyleAttribute(HtmlTextWriterStyle.FontFamily, "Roboto sans-serif");
writer.AddStyleAttribute(HtmlTextWriterStyle.FontSize, "28px");
writer.AddStyleAttribute(HtmlTextWriterStyle.FontWeight, "500");
writer.AddStyleAttribute(HtmlTextWriterStyle.Display, "inline-block");
writer.AddAttribute(HtmlTextWriterAttribute.Class, "nav-bar-row");
writer.AddColorCoding(totalReportsCoverage);
writer.RenderBeginTag(HtmlTextWriterTag.Div);
writer.Write(Math.Round(totalReportsCoverage, 0) + " %");
writer.RenderEndTag();
writer.RenderBeginTag(HtmlTextWriterTag.Br);
}