summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorQuentin Aristote <quentin@aristote.fr>2022-11-13 12:45:22 +0100
committerQuentin Aristote <quentin@aristote.fr>2022-11-13 12:45:22 +0100
commitee4b90cb052dd89608c79279e52c595e89428631 (patch)
tree3c3c5b13ae1226742117a16dd12880f74d700258
parentf33525745a44028425ee21d5af6946b9d2e61c58 (diff)
css: disable useless features
-rw-r--r--default.nix28
1 files changed, 17 insertions, 11 deletions
diff --git a/default.nix b/default.nix
index af8f005..aa58092 100644
--- a/default.nix
+++ b/default.nix
@@ -11,17 +11,23 @@ let
// overrides);
indexHTML = builtins.toFile "index.html" (make ./html { });
- classlessCSS = builtins.toFile "classless.css" (make ./css/classless.nix {
- headings-advanced = true;
- tooltip-citations = true;
- navbar = true;
- details-cards = true;
- big-first-letter = true;
- ornaments = true;
- printing = true;
- grid = true;
- navpos = "fixed";
- });
+ classlessCSS = let
+ setOption = option: value: { "${option}" = value; };
+ setOptions = options: value:
+ builtins.foldl' (tmp: option: tmp // setOption option value) { } options;
+ enable = options: setOptions options true;
+ disable = options: setOptions options false;
+ in builtins.toFile "classless.css" (make ./css/classless.nix
+ (disable [ "tables" "hr" ] // enable [
+ "headings-advanced"
+ "tooltip-citations"
+ "navbar"
+ "details-cards"
+ "big-first-letter"
+ "ornaments"
+ "printing"
+ "grid"
+ ] // setOption "navpos" "fixed"));
lineAwesomeCSS = { fontsRelativeDirectory ? "./webfonts" }:
pkgs.stdenv.mkDerivation rec {
name = "line-awesome-css";