Fixed bug in epub embedded fonts.

This commit is contained in:
Wen Kokke 2020-06-16 12:01:19 +01:00
parent a5c7db8162
commit d04f594b1f
2 changed files with 8 additions and 13 deletions

View file

@ -57,7 +57,7 @@ epub: out/plfa.epub
out/plfa.epub: out/ $(AGDA) $(LUA) epub.css
pandoc --strip-comments \
--css=epub.css \
--epub-embed-font='assets/fonts/mononoki.woff2' \
--epub-embed-font='assets/fonts/mononoki.woff' \
--lua-filter include-files.lua \
--lua-filter default-code-class.lua -M default-code-class=agda \
--standalone \

View file

@ -4,20 +4,13 @@
font-family: 'mononoki';
font-weight: normal;
font-style: normal;
src: url('mononoki.woff2');
src: url('../fonts/mononoki.woff');
}
body { margin: 5%; text-align: justify; font-size: medium; }
code { font-family: 'mononoki', monospace; }
h1 { text-align: left; }
h2 { text-align: left; }
h3 { text-align: left; }
h4 { text-align: left; }
h5 { text-align: left; }
h6 { text-align: left; }
nav#toc ol,
nav#landmarks ol { padding: 0; margin-left: 1em; }
nav#toc ol li,
nav#landmarks ol li { list-style-type: none; margin: 0; padding: 0; }
h1, h2, h3, h4, h5, h6 { text-align: left; }
nav#toc ol, nav#landmarks ol { padding: 0; margin-left: 1em; }
nav#toc ol li, nav#landmarks ol li { list-style-type: none; margin: 0; padding: 0; }
a.footnote-ref { vertical-align: super; }
em, em em em, em em em em em { font-style: italic;}
em em, em em em em { font-style: normal; }
@ -27,7 +20,9 @@ span.underline{ text-decoration: underline; }
q { quotes: "“" "”" "" ""; }
div.column{ display: inline-block; vertical-align: top; width: 50%; }
div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
@media screen { /* Workaround for iBooks issue; see #6242 */
/* Workaround for iBooks issue; see #6242 */
@media screen {
.sourceCode {
overflow: visible !important;
white-space: pre-wrap !important;