Stavros Polymenis 0a181f80ad Wrap header in <header> by default

2017-11-24 02:25:51 +00:00

..

html_templates

Wrap header in <header> by default

2017-11-24 02:25:51 +00:00

sass

Remove main.sass, replaced by two separate files

2017-10-03 22:48:35 +01:00

static

Fix CSS widths

2017-09-23 20:21:40 +01:00

config.toml

Move config to share/; copy share/ when installing via OPAM

2017-11-01 00:31:30 +00:00