Browse Source

updated scripts

haskell-project
parent
commit
73c6c68d92
Signed by: yogsototh GPG Key ID: 7B19A4C650D59646
  1. 4
      engine/optim-classes.sh
  2. 11
      engine/shell.nix
  3. BIN
      project.el.sig
  4. 47
      src/css/min.css
  5. 6
      src/css/mk.css

4
engine/optim-classes.sh

@ -1,4 +1,6 @@
#!/bin/zsh
#!/usr/bin/env nix-shell
#!nix-shell -i zsh
#!nix-shell -I nixpkgs="https://github.com/NixOS/nixpkgs/archive/19.09.tar.gz"
cd $(git rev-parse --show-toplevel)
webdir="_site"

11
engine/shell.nix

@ -0,0 +1,11 @@
# { pkgs ? import <nixpkgs> {} }:
{ pkgs ? import (fetchTarball https://github.com/NixOS/nixpkgs/archive/19.09.tar.gz) {} }:
pkgs.mkShell {
buildInputs = [ pkgs.coreutils
pkgs.html-xml-utils
pkgs.zsh
pkgs.perl
pkgs.perlPackages.URI
pkgs.minify
];
}

BIN
project.el.sig

Binary file not shown.

47
src/css/min.css

@ -60,3 +60,50 @@ body > input {
background: #FFF;
color: #333;
}
/* ---- SYNTAX HIGHLIGHTING ---- */
.org-rainbow-delimiters-depth-1, .org-rainbow-delimiters-depth-9,
.org-css-selector, .org-nix-attribute, .org-builtin,
.IN_REVIEW, a {
color:var(--c);
}
.org-rainbow-delimiters-depth-2, .org-nix-builtin, .org-variable-name,
.org-haskell-definition, .org-haskell-operator, .org-function-name, .org-diff-changed {
color:var(--b);
}
.org-rainbow-delimiters-depth-3, .HOLD, .WAITING {
color:var(--v);
}
.org-rainbow-delimiters-depth-4, .org-diff-hunk-header, .org-sh-quoted-exec,
.CANCELED {
color:var(--m);
}
.org-rainbow-delimiters-depth-5, .org-diff-removed, .TODO {
color:var(--r);
}
.org-rainbow-delimiters-depth-6, .org-haskell-constructor {
color:var(--o);
}
.org-rainbow-delimiters-depth-7, .org-type, .org-constant, .org-diff-header,
.org-haskell-keyword, .org-haskell-type, .IN_PROGRESS {
color:var(--y);
}
.org-rainbow-delimiters-depth-8, .org-sh-heredoc, .org-diff-added, .org-string,
.org-doc, .org-keyword, .DONE {
color:var(--g);
}
.org-diff-none, .org-preprocessor, .org-comment-delimiter, .org-comment,
.org-outshine-level-1, .org-outshine-level-2, .org-outshine-level-3,
.org-outshine-level-4, .org-outshine-level-5, .org-outshine-level-6,
.org-outshine-level-7, .org-outshine-level-8, .org-outshine-level-9 {
color:var(--fg2);
}
.org-highlight-numbers-number, .org-highlight-number-number
{
color:var(--rfg);
}

6
src/css/mk.css

@ -3,11 +3,11 @@
*/
/* Fonts */
:root {
--lh: 16px;
--lh: 15px;
}
body {
font-size: 14px/1.4;
font-family: Menlo, monaco, monospace;
font-size: 13px;
font-family: Menlo, monospace;
line-height: var(--lh);
}
pre, pre code {

Loading…
Cancel
Save