Remove redundant margins

2024-08-29 15:44:17 +02:00
parent c877d0bf2d
commit fa4084c24b
7 changed files with 6 additions and 11 deletions
--- a/webcontroller/style.go
+++ b/webcontroller/style.go
@@ -564,13 +564,11 @@ footer, .footer_content,
 		inset -2px -2px grey,
 		inset 2px 2px #fff !important;
 }
-.flat {
-	margin: 2px !important;
-}
 .window, .page_content, .file_button, .expandable, pre {
 	padding: 3px !important;
 }
-.window > .header, .headerbar {
+.window > .header,
+.headerbar {
 	background: linear-gradient(90deg,navy,#1084d0) !important;
 	color: #fff !important;
 }