michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fixed bug in agda.css; compile with SCSS compiler.

Browse source
This commit is contained in:
Wen Kokke 2021-07-14 15:46:39 +01:00
parent 5a5706ed5d
commit edfb6c1601
No known key found for this signature in database
GPG key ID: 7EB7DBBCEB539DB8
13 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
css/minima.scss
View file

@ -1,4 +1,5 @@
@import @import
"minima/skins/classic", "theme/skins/classic",
"minima/initialize" "theme/initialize",
"theme/agda"
; ;

0
css/minima/_base.scss → css/theme/_base.scss
View file

0
css/minima/_layout.scss → css/theme/_layout.scss
View file

0
css/agda.css → css/theme/agda.scss
View file

0
css/minima/custom-styles.scss → css/theme/custom-styles.scss
View file

0
css/minima/custom-variables.scss → css/theme/custom-variables.scss
View file

0
css/minima/initialize.scss → css/theme/initialize.scss
View file

0
css/minima/skins/classic.scss → css/theme/skins/classic.scss
View file

0
css/minima/skins/dark.scss → css/theme/skins/dark.scss
View file

0
css/minima/skins/solarized-dark.scss → css/theme/skins/solarized-dark.scss
View file

0
css/minima/skins/solarized.scss → css/theme/skins/solarized.scss
View file

2
hs/Main.hs
View file

@ -336,7 +336,7 @@ main = do
-- Compile CSS -- Compile CSS
match "css/*.css" $ compile compressCssCompiler match "css/*.css" $ compile compressCssCompiler
scss <- makePatternDependency "css/minima/**.scss" scss <- makePatternDependency "css/theme/**.scss"
rulesExtraDependencies [scss] $ rulesExtraDependencies [scss] $
match "css/minima.scss" $ match "css/minima.scss" $
compile $ sassCompilerWith sassOptions compile $ sassCompilerWith sassOptions

2
standard-library

@ -1 +1 @@
Subproject commit 9f929b4fe28bb7ba74b6b95d01ed0958343f3451 Subproject commit 2f0fb515271fa1a01a5c55b9cf5d401c5c65aa37