css: separately configurable value for button background color.

In particular, had to use a darker color than the default background
color of the dark theme as the contrast was too little with danger and
info buttons.

diff --git a/css/m-components.css b/css/m-components.css
index 617430b5333a278a4245fd29ca84e89f3805948b..d966a9cb062e5c207d664dcbbea3b3cb62e766a2 100644 (file)
--- a/css/m-components.css
+++ b/css/m-components.css
@@ -978,7 +978,7 @@ table.m-table tr.m-dim th, table.m-table th.m-dim {
 }
 
 /* Colored button, label */
-div.m-button a, .m-label { color: var(--background-color); }
+div.m-button a, .m-label { color: var(--button-background-color); }
 div.m-button.m-default a, .m-label:not(.m-flat).m-default { background-color: var(--default-color); }
 div.m-button.m-primary a, .m-label:not(.m-flat).m-primary { background-color: var(--primary-color); }
 div.m-button.m-success a, .m-label:not(.m-flat).m-success { background-color: var(--success-color); }

diff --git a/css/m-dark.css b/css/m-dark.css
index b60318cc110a0891ec6b46ab015904242ddc1871..6ca682f9c0246d03e7b2e631e280307d9e136dac 100644 (file)
--- a/css/m-dark.css
+++ b/css/m-dark.css
@@ -62,6 +62,7 @@
   --code-background-color: #282e36;
   --code-note-background-color: rgba(34, 39, 46, 0.5);
   --console-background-color: #000000;
+  --button-background-color: #22272e;
 
   /* Header */
   --header-border-width: 0 0 0.25rem 0;

diff --git a/css/m-light.css b/css/m-light.css
index 4fca3ed1ef8886bd1d997a44137b93afe5a94c13..d1e742dd11a9eb2dbac9f4a0040a8993e24ec6c0 100644 (file)
--- a/css/m-light.css
+++ b/css/m-light.css
@@ -60,6 +60,7 @@
   --code-background-color: #fbf0ec;
   --code-note-background-color: rgba(251, 240, 236, 0.5);
   --console-background-color: #000000;
+  --button-background-color: #ffffff;
 
   /* Header */
   --header-border-width: 0.25rem 0 0 0;