diff options
| author | Ben Sima <ben@bsima.me> | 2020-04-11 15:08:57 -0700 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2020-04-11 15:08:57 -0700 |
| commit | 660b7aae4264fb7641b27c93adc12ed7da966702 (patch) | |
| tree | 2fed08095e1cbee899cab5649a8cc29050ea8a10 /Run/Que/Server.hs | |
| parent | 4fd621813978bb999f1b1603f6c5a459d7a15628 (diff) | |
Fix fonts: remove --self-contained from pandoc
With --self-contained pandoc will embed the entire font in the HTML,
which is just too much. Instead let's link it, but we have to tread the
style.css as an HTML file in order to do so.
Diffstat (limited to 'Run/Que/Server.hs')
0 files changed, 0 insertions, 0 deletions