feat: enhance the legend of metrics graph widget with the summary table (#181)

This commit is contained in:
Fine0830
2022-11-10 14:55:19 +08:00
committed by GitHub
parent fd46211a37
commit b37d65eaac
29 changed files with 595 additions and 92 deletions

View File

@@ -173,7 +173,7 @@
}
.scroll_bar_style::-webkit-scrollbar {
width: 9px;
width: 4px;
height: 4px;
background-color: #eee;
}

View File

@@ -153,6 +153,10 @@ pre {
margin-left: 5px;
}
.el-switch__label * {
font-size: 12px;
}
.el-drawer__header {
margin-bottom: 0;
}