/* 
	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
    }