# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1722962372 -7200
# Node ID 5555a40b2ed44a08dc51412b299e277055de3b17
# Parent  f5ae78dd49d1f256bfec488848b31dac56788b4d
build_manager: change colors;

diff -r f5ae78dd49d1 -r 5555a40b2ed4 src/Pure/Build/build_manager.scala
--- a/src/Pure/Build/build_manager.scala	Tue Aug 06 16:58:23 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Tue Aug 06 18:39:32 2024 +0200
@@ -1482,7 +1482,12 @@
           HTML.title("Isabelle Build Manager"),
           Web_App.More_HTML.icon("data:image/x-icon;base64," + logo.encode_base64.text),
           HTML.style_file("https://hawkz.github.io/gdcss/gd.css"),
-          HTML.style("html { background-color: white; }"))
+          HTML.style("""
+:root { 
+  --color-secondary: var(--color-tertiary);
+  --color-secondary-hover: var(--color-tertiary-hover);
+}
+html { background-color: white; }"""))
     }
 
     def init: Unit = server.start()