diff options
| author | Thomas Letan <lthms@soap.coffee> | 2021-03-28 00:03:41 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2021-03-28 14:19:29 +0200 |
| commit | 495f9db0606b0ed09e6fac59dc32de4cdc8c0087 (patch) | |
| tree | 82ea5c5e247c664de247a0f3818f393ffdb00067 /site/cleopatra/coq.org | |
| parent | Release of coqffi 1.0.0~beta4 (diff) | |
2021 Spring redesign
Diffstat (limited to 'site/cleopatra/coq.org')
| -rw-r--r-- | site/cleopatra/coq.org | 60 |
1 files changed, 14 insertions, 46 deletions
diff --git a/site/cleopatra/coq.org b/site/cleopatra/coq.org index 64d1e9d..81f3d27 100644 --- a/site/cleopatra/coq.org +++ b/site/cleopatra/coq.org @@ -1,3 +1,15 @@ +#+TITLE: Authoring Content with Coq + +#+SERIES: ../cleopatra.html +#+SERIES_PREV: ./dependencies.html +#+SERIES_NEXT: ./org.html + +#+BEGIN_EXPORT html +<nav id="generate-toc"></nav> +<div id="history">site/cleopatra/coq.org</div> +#+END_EXPORT + + * Author Guidelines * Under the Hood @@ -13,7 +25,6 @@ COQ_ARTIFACTS := $(COQ_POSTS:.v=.vo) \ coq-build : ${COQ_HTML} -theme-build : site/style/coq.sass soupault-build : coq-build ARTIFACTS += ${COQ_ARTIFACTS} .lia.cache @@ -28,52 +39,9 @@ COQDOCARG := --no-index --charset utf8 --short \ --external "https://compcert.org/doc/html" compcert \ --external "https://lysxia.github.io/coq-simple-io" SimpleIO -%.html : %.v coq.mk - @cleopatra echo Exporting "$*.v" +%.html : %.v coq.mk _opam/init + @cleopatra echo Exporting "$*.v" @coqc ${COQCARG} $< @coqdoc ${COQDOCARG} -d $(shell dirname $<) $< @rm -f $(shell dirname $<)/coqdoc.css #+END_SRC - -#+BEGIN_SRC sass :tangle site/style/coq.sass -div.code - padding-left : 1.5rem - padding-left : 1.5rem - white-space: nowrap - line-height : 140% - -div.code, -span.inlinecode - font-family : 'Fira Code', monospace - color : $monospace-color - font-size : 80% - overflow-x : auto - -div.doc - max-width : $content-width - line-height : 140% - - /* dirty patch to get the code in full page width */ - pre - width : calc(100vw - 2*var(--side-margin)) - -.paragraph - margin-bottom : .8em -#+END_SRC - -#+BEGIN_SRC sass :tangle site/style/coq.sass -.code - a[href] - color : inherit - text-decoration : none - background : #f7f7f7 - padding : .1rem .15rem .1rem .15rem - border-radius : 15% - - .url-mark - display: none -#+END_SRC - -# Local Variables: -# org-src-preserve-indentation: t -# End: |