diff options
Diffstat (limited to 'old/14666-h/style/print.css')
| -rw-r--r-- | old/14666-h/style/print.css | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/old/14666-h/style/print.css b/old/14666-h/style/print.css new file mode 100644 index 0000000..764ba41 --- /dev/null +++ b/old/14666-h/style/print.css @@ -0,0 +1,36 @@ +/* + print.css --- A stylesheet for HTML in gutenberg HTML files, optimized for printing. + + Jeroen Hellingman + + This file is hereby irrevocably dedicated to the Public Domain. +*/ + +body +{ + font-family: Gentium, Times New Roman, serif; + margin: 12pt 1cm 12pt 1cm; + font-size: 11pt; +} + +h1, h2, h3, h4, h5 +{ + color: black; + font-family: Gentium, Times New Roman, serif; +} + +.figureHead, .noteref, span.leftnote, p.legend, .navline, span.rightnote, span.pageno, span.lineno +{ + color: black; +} + +a, a.navline:hover, a.hidden:hover, a.noteref:hover +{ + color: black; + text-decoration: none; +} + +span.pageno +{ + font-size: 6pt; +}
\ No newline at end of file |