修改设置（折叠豁免、忽略所有折叠洞）

2020-09-04 23:20:32 +08:00
parent 6b45b4d53d
commit b539919550
6 changed files with 63 additions and 44 deletions
--- a/src/infrastructure/widgets.css
+++ b/src/infrastructure/widgets.css
@@ -301,13 +301,15 @@ a.app-switcher-item, .app-switcher-item a {
 }

 a.button {
-    -webkit-appearance: button;
-    -moz-appearance: button;
-    appearance: button;
+  -webkit-appearance: button;
+  -moz-appearance: button;
+  appearance: button;

-    text-decoration: none;
-    color: initial;
+  text-decoration: none;
+  color: initial;

-	min-width: 6em;
-	font-size: 0.85em;
+  min-width: 6em;
+  font-size: 0.85em;
+
+  padding: 5px;
 }