split installer CSS into its own file, since we only use it in one place

2023-08-18 17:12:38 +01:00
parent ecd7ec5b6b
commit 7a4f033cce
3 changed files with 40 additions and 40 deletions
--- a/core/sanitize_php.php
+++ b/core/sanitize_php.php
@ -17,6 +17,7 @@ function die_nicely($title, $body, $code=0)
 		<title>Shimmie</title>
 		<link rel=\"shortcut icon\" href=\"ext/static_files/static/favicon.ico\">
 		<link rel=\"stylesheet\" href=\"ext/static_files/style.css\" type=\"text/css\">
+		<link rel=\"stylesheet\" href=\"ext/static_files/installer.css\" type=\"text/css\">
 	</head>
 	<body>
 		<div id=\"installer\">