From 0230ba3e7ee638765ace8e2c3b436e703017b46c Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Mon, 15 Jun 2020 18:50:39 +0200
Subject: dashboard/app: add page with manager stats graphs

---
 pkg/html/generated.go | 57 +++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 57 insertions(+)

(limited to 'pkg/html')

diff --git a/pkg/html/generated.go b/pkg/html/generated.go
index 2cbcba3ec..53d035c6e 100644
--- a/pkg/html/generated.go
+++ b/pkg/html/generated.go
@@ -211,6 +211,63 @@ textarea {
 	color: #25a7db;
 	text-decoration: none;
 }
+
+.page {
+	position: relative;
+	width: 100%;
+}
+
+aside {
+	position: absolute;
+	top: 0;
+	left: 0;
+	bottom: 0;
+	width: 290px;
+	margin-top: 5px;
+}
+
+.panel {
+	border: 1px solid #aaa;
+	border-radius: 5px;
+	margin-bottom: 5px;
+}
+
+.panel h1 {
+	font-size: 16px;
+	margin: 0;
+	padding: 2px 8px;
+}
+
+.panel select {
+	padding: 5px;
+	border: 0;
+	width: 100%;
+}
+
+.main-content {
+	position: absolute;
+	top: 0;
+	left: 300px;
+	right: 5px;
+	min-height: 200px;
+	overflow: hidden;
+}
+
+.graph_help {
+	position: absolute;
+	top: 115px;
+	left: 10px;
+	z-index: 1;
+	text-decoration: none;
+	font-weight: bold;
+	font-size: xx-large;
+	color: blue;
+}
+
+#graph_div {
+	width: 100%;
+	height: 85vh;
+}
 `
 const js = `
 // Copyright 2018 syzkaller project authors. All rights reserved.
-- 
cgit mrf-deployment