more mime types;

--- 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