prototype: decreased rounding

2023-10-01 01:20:20 +02:00
parent a782aa5b0e
commit 7a51e2d404
93 changed files with 142 additions and 142 deletions
@@ -241,7 +241,7 @@ function show(ev: MouseEvent) {
 	color: var(--fg);
 	background: var(--panel);
 	border: solid 1px var(--panel);
-	border-radius: 6px;
+	border-radius: 5px;
 	outline: none;
 	box-shadow: none;
 	box-sizing: border-box;