Rename .min.css files to .css

This commit is contained in:
Frankie B 2022-09-16 23:07:51 +00:00
commit 1d76709b91
11 changed files with 27 additions and 29 deletions

View file

@ -5,6 +5,10 @@ been moved to global.css and imported below.
*/
@import url('global.css');
html {
color-scheme: dark;
}
div.project pre {
border: 1px solid #666666
}

View file

@ -1,5 +1,5 @@
function addStyleSheet(name, id) {
var path = '/res/css/' + name + '.min.css';
var path = '/res/css/' + name + '.css';
var old = document.getElementById(id);
if (old && (old.href != path)) {
old.href = path;