Tweaks for Chrome and for print

This commit is contained in:
Tony Garnock-Jones 2018-09-23 22:56:36 +01:00
parent ff5cb65f5f
commit f2c2e4d39e
1 changed files with 5 additions and 4 deletions

View File

@ -1,16 +1,19 @@
---
---
<style>
body { font-family: palatino, "Palatino Linotype", "Palatino LT STD", "URW Palladio L", serif; }
body { font-family: palatino, "Palatino Linotype", "Palatino LT STD", "URW Palladio L", "TeX Gyre Pagella", serif; }
@media screen {
body { padding-top: 2rem; max-width: 40em; margin: auto; font-size: 120%; }
}
@media print {
body { margin-left: 2rem; }
h2 { page-break-before: always }
h2:first-of-type { page-break-before: auto; }
}
h1, h2, h3, h4, h5, h6 { margin-left: -1rem; color: #4f81bd; }
h2 { border-bottom: solid #4f81bd 1px; }
pre, code { background-color: #eee; }
pre, code { background-color: #eee; font-family: "DejaVu Sans Mono", monospace; }
code { font-size: 75%; }
pre { padding: 0.33rem; }
</style>
@ -28,8 +31,6 @@ pre { padding: 0.33rem; }
[varint]: https://developers.google.com/protocol-buffers/docs/encoding#varints
[erlang-map]: http://erlang.org/doc/reference_manual/data_types.html#map
## Introduction
Most data serialization formats used on the web represent
*edge-labelled* semi-structured data.