Technical Articles / Opinions / News / Projects

1 Author Guidelines

2 Under the Hood

(use-package lua-mode :ensure t :defer t)
(use-package rust-mode :ensure t :defer t)
(use-package sass-mode :ensure t :defer t)
(use-package haskell-mode :ensure t :defer t)
(use-package toml-mode :ensure t :defer t)
(use-package json-mode :ensure t :defer t)
(use-package proof-general :ensure t :defer t)
(use-package tuareg :ensure t :defer t)
(cleopatra:configure)

(setq org-html-doctype "html5")
(setq org-html-html5-fancy t)

(org-babel-do-load-languages
 'org-babel-load-languages
 '((shell . t)
   (dot . t)))

(setq org-html-htmlize-output-type nil)
(setq org-export-with-toc nil)

(add-to-list 'org-entities-user
             '("im" "\\(" nil "<span class=\"imath\">" "" "" ""))
(add-to-list 'org-entities-user
             '("mi" "\\)" nil "</span>" "" "" ""))

(org-html-export-to-html nil nil nil t)
EMACS := cleopatra-emacs

ORG_POSTS := $(shell find site/ -name "*.org")
ORG_HTML := $(ORG_POSTS:.org=.html)

org-prebuild : .emacs
org-build : ${ORG_HTML}

theme-build : site/style/org.sass
soupault-build : org-build
org-build : literate-programming-build

ARTIFACTS += ${ORG_HTML}
CONFIGURE += .emacs

EXPORT := --batch \
          --load="${ROOT}/scripts/packages.el" \
          --load="${ROOT}/scripts/export-org.el" \
          2>> build.log

INIT := --batch --load="${ROOT}/scripts/packages.el" \
        2>> build.log

.emacs : scripts/packages.el
	@cleopatra echo Initiating  "Emacs configuration"
	@${EMACS} ${INIT}
	@touch .emacs

%.html : %.org scripts/packages.el scripts/export-org.el \
         .emacs org.mk
	@cleopatra echo Exporting "$*.org"
	@${EMACS} $< ${EXPORT}
#text-footnotes
    max-width : 35rem

.footpara
    display: inline
    margin-left: .2em

.section-number-2:after,
.section-number-3:after
    content: ". "

.section-number-4,
.section-number-5,
.section-number-6
    display: none

dl
    dd p
        margin-top: 0

.footnotes
    font-size : 1rem

.org-literate-programming
    .org-src-tangled-to:before
        content: "\f054"
        font : normal normal normal 11px/1 ForkAwesome

    .org-src-tangled-to,
        padding-left : 2rem

    .org-src-tangled-to,
    .org-src-name
        font-family : 'Fira Code', monospace
        font-size : 70%
        font-weight: bold
        color : #444