# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1739294400 -3600
# Node ID 5d57110da8eb787b2bbf4f1cc055ed4ee2dbe2e5
# Parent  39f2662c8fb02fc8be7f3be7246ba02b288138a2
relative paths;

diff -r 39f2662c8fb0 -r 5d57110da8eb src/Pure/General/http.scala
--- a/src/Pure/General/http.scala	Tue Feb 11 17:02:53 2025 +0100
+++ b/src/Pure/General/http.scala	Tue Feb 11 18:20:00 2025 +0100
@@ -379,9 +379,10 @@
 
   object CSS_Service extends CSS()
 
-  class CSS(name: String = "css", fonts: String = Fonts_Service.name) extends Service(name) {
+  class CSS(name: String = "isabelle.css", fonts: String = Fonts_Service.name)
+    extends Service(name) {
     private lazy val css =
-      HTML.fonts_css("/" + fonts + "/" + _) + "\n\n" + File.read(HTML.isabelle_css)
+      HTML.fonts_css(fonts + "/" + _) + "\n\n" + File.read(HTML.isabelle_css)
 
     def apply(request: Request): Option[Response] =
       Some(Response(Bytes(css), Content.mime_type_css))