diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/template.html | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/tools/template.html b/tools/template.html index d09d48f..39a196d 100644 --- a/tools/template.html +++ b/tools/template.html @@ -4,14 +4,14 @@ <meta charset="UTF-8"> <title>${title}</title> <style type="text/css"> - body { font-family: Helvetica, arial, freesans, clean, sans-serif; +body { font-family: Helvetica, arial, freesans, clean, sans-serif; line-height: 1.4; max-width: 48em; margin: auto; color: #333333; background-color: #fff; font-size: 13pt; - } +} div#TOC ul { list-style: none; } h1 { font-size: 140%; font-weight: bold; border-top: 1px solid gray; padding-top: 0.5em; } h2 { font-size: 120%; font-weight: bold; } @@ -66,6 +66,17 @@ a.footnoteRef > sup { vertical-align: baseline; font-size: 100%; } +@media print { + @page { + size: auto; + margin: 1.2in 1.2in 1.2in 1.2in; + } + body { + margin: 0px; + line-height: 1.2; + font-size: 10pt; + } +} </style> <script src="//code.jquery.com/jquery-1.11.0.min.js"></script> <script type="text/javascript"> |