merged jquery-ui.scss into style.scss

Dyalog · Jan 5, 2015 · c3ffe90 · c3ffe90
1 parent 7d04cdd
commit c3ffe90
Show file tree

Hide file tree

Showing 4 changed files with 537 additions and 537 deletions.
diff --git a/build.sh b/build.sh
@@ -31,7 +31,6 @@ fi
 
 cp -uv node_modules/codemirror/lib/codemirror.css build/static/
 i=style/style.scss     o=build/static/style.css;     if [ $i -nt $o ]; then echo 'preprocessing css'; $sass <$i >$o; fi
-i=style/jquery-ui.scss o=build/static/jquery-ui.css; if [ $i -nt $o ]; then echo 'preprocessing css'; $sass <$i >$o; fi
 
 cp -uv index.html build/static/
 

diff --git a/index.html b/index.html
@@ -3,9 +3,8 @@
 <head>
 	<meta charset="utf-8">
 	<title>Dyalog IDE</title>
-	<link rel="stylesheet" href="jquery-ui.css">
-	<link rel="stylesheet" href="style.css">
 	<link rel="stylesheet" href="codemirror.css">
+	<link rel="stylesheet" href="style.css">
 	<script src="D.js"></script>
 </head>
 <body><noscript>JavaScript is not enabled.</noscript></body>