Name change

2025-09-01 16:25:25 +02:00
parent 9bc80cc5e9
commit 7bd08c309d
10 changed files with 131 additions and 131 deletions
--- a/style.less
+++ b/style.less
@@ -1,10 +1,10 @@
-#monitor__admin {
+#botmon__admin {

 	section[role="tabpanel"] {
 		margin: .25rem 0;
 	}

-	#monitor__today {
+	#botmon__today {

 		header {
 			background-color: #F0F0F0;
@@ -40,7 +40,7 @@
 			}
 		}

-		#monitor__today__content {
+		#botmon__today__content {
 			& > details {
 				& {
 					margin: 0 0 1pt 0;