# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1738764310 -3600
# Node ID 27acc91b3fbfde89ed17c6752e18e1e0e361dc03
# Parent  1609068d3f5a9c33fa5ff4b7c942bc1335fcd6fb
more mime types;

diff -r 1609068d3f5a -r 27acc91b3fbf src/Pure/General/http.scala
--- a/src/Pure/General/http.scala	Wed Feb 05 14:56:39 2025 +0100
+++ b/src/Pure/General/http.scala	Wed Feb 05 15:05:10 2025 +0100
@@ -22,6 +22,8 @@
     val mime_type_bytes: String = "application/octet-stream"
     val mime_type_text: String = "text/plain; charset=utf-8"
     val mime_type_html: String = "text/html; charset=utf-8"
+    val mime_type_css: String = "text/css; charset=utf-8"
+    val mime_type_js: String = "text/javascript; charset=utf-8"
 
     val default_mime_type: String = mime_type_bytes
     val default_encoding: String = UTF8.charset.name