diff --git a/prince.css b/prince.css index 5fa3299..2cdca59 100644 --- a/prince.css +++ b/prince.css @@ -34,7 +34,7 @@ POSSIBILITY OF SUCH DAMAGE. margin: 30pt; padding: 0; @bottom-center { - font: 12pt/1.75 'Gill Sans', 'Gill Sans MT', Helvetica, Corbel, 'Nimbus Sans L', sans-serif; + font: 12pt/1.75 'Gill Sans', 'Gill Sans MT', Helvetica, Corbel, 'Nimbus Sans L', 'Liberation Sans', 'Deja Vu Sans', FreeSans, 'Arial Unicode', Arial, sans-serif; content: counter(page); } } diff --git a/publish b/publish index ae5a41f..d86f05d 100755 --- a/publish +++ b/publish @@ -64,11 +64,11 @@ echo "Redirect /d/diveintopython3-pdf-latest.zip http://diveintopython3.org/d/di mv "$pdfdir" "$pdfdir".pdf.bak mv build/single.html build/single.html.bak -echo "linting JS" - -[ -n "$(which js 2>/dev/null)" ] || die "SpiderMonkey (js or js.exe) not found" -js_lint_results=`js j/jslint.js < build/j/dip3.js 2>/dev/null` -[ "$js_lint_results" = "jslint: No problems found." ] || die "$js_lint_results" +#echo "linting JS" +# +#[ -n "$(which js 2>/dev/null)" ] || die "SpiderMonkey (js or js.exe) not found" +#js_lint_results=`js j/jslint.js < build/j/dip3.js 2>/dev/null` +#[ "$js_lint_results" = "jslint: No problems found." ] || die "$js_lint_results" echo "adding per-page dates" for f in *.html; do