Cleanup styling and gulp merge @media queries

2026-08-31 04:59:21 +03:00 · 2021-07-20 16:45:55 +02:00 · 2021-07-20 16:45:55 +02:00 · e13337e247
commit e13337e247
parent d3d0180208
60 changed files with 699 additions and 731 deletions
--- a/dev/Styles/User/SettingsGeneral.less
+++ b/dev/Styles/User/SettingsGeneral.less
@ -0,0 +1,19 @@
+
+.b-settings-general {
+
+	.flag-selector {
+		padding-top: 5px;
+	}
+
+	.flag-name {
+
+		border-bottom: 1px dashed #555;
+		cursor: pointer;
+		padding: 2px 0;
+
+		&:focus {
+			outline: 1px;
+			outline-style: dotted;
+		}
+	}
+}